Gary is young. All young, smart things are furry. If Gary is young and Gary is smart then Gary is white. White, young things are nice. If Gary is young then Gary is smart. If Gary is smart and Gary is white then Gary is cold. Young things are cold. If something is young and furry then it is white. If something is furry and rough then it is nice.
Gary is not nice.
@0: Gary is young.[(triple1)] @1: Gary is cold.[(((triple1) -> rule6) OR ((((triple1) -> rule4) ((triple1 ((triple1) -> rule4)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple1 ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule7)) -> rule5))] Gary is smart.[(((triple1) -> rule4))] @2: Gary is furry.[(((triple1 ((triple1) -> rule4)) -> rule1))] Gary is white.[(((triple1 ((triple1) -> rule4)) -> rule2) OR ((triple1 ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule7))] @3: Gary is nice.[(((((triple1 ((triple1) -> rule4)) -> rule2) triple1) -> rule3) OR ((((triple1 ((triple1 ((triple1) -> rule4)) -> rule1)) -> rule7) triple1) -> rule3))]