context: Charlie is not blue. Charlie is not furry. 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. If Charlie is blue or Charlie is furry then Bob is green.