Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is quiet. Anne is not round. Gary is blue. Gary is furry. Gary is not green. Gary is rough. Harry is not big. Harry is not furry. Harry is quiet. Harry is rough. Harry is round. Big, green things are rough. If Anne is not quiet then Anne is round.
Harry is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not round.[(triple6)] Anne is quiet.[(triple5)] Gary is blue.[(triple7)] Gary is furry.[(triple8)] Gary is not green.[(triple9)] Gary is rough.[(triple10)] Harry is not big.[(triple11)] Harry is not furry.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)] @1: Anne is rough.[(((triple1 triple4) -> rule1))]