Erin is blue. Erin is cold. Gary is big. If something is red and not cold then it is big. Big things are nice. Smart things are red. All cold things are not smart. Nice things are smart. If something is cold and not smart then it is blue.
Gary is not blue.
@0: Erin is blue.[(triple1 OR ((triple2 ((triple2) -> rule4)) -> rule6))] Erin is cold.[(triple2)] Gary is big.[(triple3)] @1: Erin is not smart.[(((triple2) -> rule4))] Gary is nice.[(((triple3) -> rule2))] @2: Gary is smart.[(((((triple3) -> rule2)) -> rule5))] @3: Gary is red.[(((((((triple3) -> rule2)) -> rule5)) -> rule3))]