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