Gary is kind. Harry is red. Harry is white. Smart, rough things are furry. All rough things are smart. If Gary is kind then Gary is rough. If Gary is smart and Gary is rough then Gary is kind. If Gary is rough and Gary is quiet then Gary is smart. If something is kind then it is quiet. If Harry is white and Harry is rough then Harry is red. Rough things are quiet.
Harry is not rough.
@0: Gary is kind.[(triple1)] Harry is red.[(triple2)] Harry is white.[(triple3)] @1: Gary is quiet.[(((triple1) -> rule6) OR ((((triple1) -> rule3)) -> rule8))] Gary is rough.[(((triple1) -> rule3))] @2: Gary is smart.[(((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3) ((triple1) -> rule6)) -> rule5) OR ((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule5))] @3: Gary is furry.[(((((((triple1) -> rule3)) -> rule2) ((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule3) ((triple1) -> rule6)) -> rule5) ((triple1) -> rule3)) -> rule1) OR ((((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule8)) -> rule5) ((triple1) -> rule3)) -> rule1))]