Dave is not big. Erin is blue. Gary is cold. Blue things are smart. If something is smart then it is white. If something is smart and not cold then it is not blue. All cold things are blue. If Erin is smart then Erin is big. Cold, smart things are furry.
Gary is not furry.
@0: Dave is not big.[(triple1)] Erin is blue.[(triple2)] Gary is cold.[(triple3)] @1: Erin is smart.[(((triple2) -> rule1))] Gary is blue.[(((triple3) -> rule4))] @2: Erin is big.[(((((triple2) -> rule1)) -> rule5))] Erin is white.[(((((triple2) -> rule1)) -> rule2))] Gary is smart.[(((((triple3) -> rule4)) -> rule1))] @3: Gary is furry.[(((triple3 ((((triple3) -> rule4)) -> rule1)) -> rule6))] Gary is white.[(((((((triple3) -> rule4)) -> rule1)) -> rule2))]