Bob is blue. Dave is quiet. Erin is nice. Gary is blue. If Erin is rough then Erin is blue. Rough things are nice. Rough, cold things are smart. Rough things are cold. If something is nice then it is rough. If something is green and quiet then it is blue.
Gary is not green.
@0: Bob is blue.[(triple1)] Dave is quiet.[(triple2)] Erin is nice.[(triple3)] Gary is blue.[(triple4)] @1: Erin is rough.[(((triple3) -> rule5))] @2: Erin is blue.[(((((triple3) -> rule5)) -> rule1))] Erin is cold.[(((((triple3) -> rule5)) -> rule4))] @3: Erin is smart.[(((((triple3) -> rule5) ((((triple3) -> rule5)) -> rule4)) -> rule3))]