Anne is big. Anne is blue. Anne is red. Anne is round. Dave is green. Gary is big. Gary is blue. Gary is red. Gary is rough. Gary is round. Harry is not green. Harry is not red. Harry is rough. Harry is not round. Harry is not young. If something is big then it is green.
Harry is not rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Dave is green.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is red.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10)] Harry is not green.[(triple11)] Harry is not red.[(triple12)] Harry is not round.[(triple14)] Harry is not young.[(triple15)] Harry is rough.[(triple13)] @1: Anne is green.[(((triple1) -> rule1))] Gary is green.[(((triple6) -> rule1))]