context: Charlie is blue. If Anne is quiet then Dave is red. Anne is quiet if Fiona is not rough. If Bob is green then Fiona is not rough. Bob is green if Charlie is blue. Charlie is young if Dave is red or The brother of Harry is Bob.