Anne is blue. Anne is rough. Dave is big. Dave is green. Dave is nice. Fiona is nice. Harry is blue. If Harry is rough and Harry is not green then Harry is big. If Dave is not quiet then Dave is not big.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Dave is big.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5)] Fiona is nice.[(triple6)] Harry is blue.[(triple7)]