Bob is not rough. Erin is rough. Gary is nice. All red, cold things are rough. If something is young then it is nice. If Gary is red then Gary is smart. If something is nice then it is cold. Young things are not smart. If Gary is cold then Gary is red.
Bob is cold.
@0: Bob is not rough.[(triple1)] Erin is rough.[(triple2)] Gary is nice.[(triple3)] @1: Gary is cold.[(((triple3) -> rule4))] @2: Gary is red.[(((((triple3) -> rule4)) -> rule6))] @3: Gary is rough.[(((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule4)) -> rule1))] Gary is smart.[(((((((triple3) -> rule4)) -> rule6)) -> rule3))]