Erin is white. All red people are not smart. Rough people are smart. White people are rough. If Erin is rough and Erin is big then Erin is not cold. Smart, white people are blue. Smart people are not red.
Erin is smart.
@0: Erin is white.[(triple1)] @1: Erin is rough.[(((triple1) -> rule3))] @2: Erin is smart.[(((((triple1) -> rule3)) -> rule2))] @3: Erin is blue.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule5))] Erin is not red.[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]