context: Charlie is not blue. Harry is not kind. 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 Harry is kind then Bob is not green.