Anne is rough. Anne is smart. Anne is white. Erin is nice. Erin is red. Erin is smart. Erin is white. Rough, cold things are red. If something is rough then it is cold.
Anne is red.
@0: Anne is rough.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Erin is nice.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] @1: Anne is cold.[(((triple1) -> rule2))] @2: Anne is red.[(((triple1 ((triple1) -> rule2)) -> rule1))]