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