Gary is big. Gary is blue. Gary is rough. Gary is white. Harry is blue. Harry is smart. Harry is white. Smart things are rough. If Harry is blue and Harry is rough then Harry is big. Smart, blue things are kind. If something is white then it is furry. Big things are furry. If something is white then it is blue.
Gary is not kind.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2 OR ((triple4) -> rule6))] Gary is rough.[(triple3)] Gary is white.[(triple4)] Harry is blue.[(triple5 OR ((triple7) -> rule6))] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Gary is furry.[(((triple1) -> rule5) OR ((triple4) -> rule4))] Harry is furry.[(((triple7) -> rule4) OR ((((triple5 ((triple6) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7) -> rule6) ((triple6) -> rule1)) -> rule2)) -> rule5))] Harry is kind.[(((triple6 triple5) -> rule3) OR ((triple6 ((triple7) -> rule6)) -> rule3))] Harry is rough.[(((triple6) -> rule1))] @2: Harry is big.[(((triple5 ((triple6) -> rule1)) -> rule2) OR ((((triple7) -> rule6) ((triple6) -> rule1)) -> rule2))]