Anne is blue. Anne is green. Anne is rough. Dave is not big. Dave is red. Dave is young. Gary is big. Gary is green. Gary is red. Harry is furry. Harry is red. Harry is young. Big, red people are not furry.
Anne is rough.
@0: Anne is blue.[(triple1)] Anne is green.[(triple2)] Anne is rough.[(triple3)] Dave is not big.[(triple4)] Dave is red.[(triple5)] Dave is young.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple8)] Gary is red.[(triple9)] Harry is furry.[(triple10)] Harry is red.[(triple11)] Harry is young.[(triple12)] @1: Gary is not furry.[(((triple7 triple9) -> rule1))]