Erin is green. Erin is white. Erin is young. If something is cold then it is smart. White things are cold. If Erin is nice and Erin is white then Erin is cold. If Erin is nice then Erin is cold. All young things are quiet. If something is smart and white then it is nice.
Erin is not cold.
@0: Erin is green.[(triple1)] Erin is white.[(triple2)] Erin is young.[(triple3)] @1: Erin is cold.[(((triple2) -> rule2))] Erin is quiet.[(((triple3) -> rule5))] @2: Erin is smart.[(((((triple2) -> rule2)) -> rule1))] @3: Erin is nice.[(((((((triple2) -> rule2)) -> rule1) triple2) -> rule6))]