Charlie is big. Erin is rough. Gary is smart. Harry is big. White people are cold. Rough, white people are nice. Green people are white. If Erin is rough then Erin is green. Green, rough people are smart. If someone is cold and not nice then they are smart.
Erin is big.
@0: Charlie is big.[(triple1)] Erin is rough.[(triple2)] Gary is smart.[(triple3)] Harry is big.[(triple4)] @1: Erin is green.[(((triple2) -> rule4))] @2: Erin is smart.[(((((triple2) -> rule4) triple2) -> rule5))] Erin is white.[(((((triple2) -> rule4)) -> rule3))] @3: Erin is cold.[(((((((triple2) -> rule4)) -> rule3)) -> rule1))] Erin is nice.[(((triple2 ((((triple2) -> rule4)) -> rule3)) -> rule2))]