Erin is round. White, round things are green. If something is blue then it is white. All round things are blue.
Erin is not blue.
@0: Erin is round.[(triple1)] @1: Erin is blue.[(((triple1) -> rule3))] @2: Erin is white.[(((((triple1) -> rule3)) -> rule2))] @3: Erin is green.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule1))]