Erin is nice. Erin is rough. Erin is white. Round things are red. If Erin is nice then Erin is round. If something is red then it is not blue. Smart things are blue. If something is red and not round then it is white. If Erin is not red then Erin is blue.
Erin is not blue.
@0: Erin is nice.[(triple1)] Erin is rough.[(triple2)] Erin is white.[(triple3)] @1: Erin is round.[(((triple1) -> rule2))] @2: Erin is red.[(((((triple1) -> rule2)) -> rule1))] @3: Erin is not blue.[(((((((triple1) -> rule2)) -> rule1)) -> rule3))]