Gary is blue. Gary is kind. Gary is quiet. Gary is rough. Gary is round. Gary is white. Harry is blue. Blue things are kind. If something is rough and round then it is quiet. If Harry is furry then Harry is round. If something is white and furry then it is quiet. Kind, quiet things are round. All white, rough things are kind.
Harry is not quiet.
@0: Gary is blue.[(triple1)] Gary is kind.[(triple2 OR ((triple1) -> rule1) OR ((triple6 triple4) -> rule6))] Gary is quiet.[(triple3 OR ((triple4 triple5) -> rule2))] Gary is rough.[(triple4)] Gary is round.[(triple5 OR ((triple2 triple3) -> rule5) OR ((((triple1) -> rule1) triple3) -> rule5) OR ((((triple6 triple4) -> rule6) triple3) -> rule5))] Gary is white.[(triple6)] Harry is blue.[(triple7)] @1: Harry is kind.[(((triple7) -> rule1))]