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