Charlie is red. Dave is nice. Erin is smart. Gary is nice. If something is blue and red then it is round. White things are cold. All red, cold things are smart. Nice, smart things are red. All red things are white. Nice things are smart.
Gary is not red.
@0: Charlie is red.[(triple1)] Dave is nice.[(triple2)] Erin is smart.[(triple3)] Gary is nice.[(triple4)] @1: Charlie is white.[(((triple1) -> rule5))] Dave is smart.[(((triple2) -> rule6))] Gary is smart.[(((triple4) -> rule6))] @2: Charlie is cold.[(((((triple1) -> rule5)) -> rule2))] Dave is red.[(((triple2 ((triple2) -> rule6)) -> rule4))] Gary is red.[(((triple4 ((triple4) -> rule6)) -> rule4))] @3: Charlie is smart.[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule3))] Dave is white.[(((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5))] Gary is white.[(((((triple4 ((triple4) -> rule6)) -> rule4)) -> rule5))] @4: Dave is cold.[(((((((triple2 ((triple2) -> rule6)) -> rule4)) -> rule5)) -> rule2))] Gary is cold.[(((((((triple4 ((triple4) -> rule6)) -> rule4)) -> rule5)) -> rule2))]