Charlie is nice. Dave is red. Erin is smart. Gary is blue. If Erin is furry and Erin is big then Erin is blue. All red people are big. If someone is blue and smart then they are red. If someone is smart and furry then they are blue. All red, big people are nice. If Gary is furry then Gary is blue. If Erin is smart and Erin is blue then Erin is nice. All red, big people are smart.
Gary is not nice.
@0: Charlie is nice.[(triple1)] Dave is red.[(triple2)] Erin is smart.[(triple3)] Gary is blue.[(triple4)] @1: Dave is big.[(((triple2) -> rule2))] @2: Dave is nice.[(((triple2 ((triple2) -> rule2)) -> rule5))] Dave is smart.[(((triple2 ((triple2) -> rule2)) -> rule8))]