Erin is smart. If Erin is blue and Erin is white then Erin is big. If Erin is smart and Erin is blue then Erin is round. If something is white then it is blue. Smart, nice things are white. If Erin is white then Erin is smart. All smart things are white.
Erin is not smart.
@0: Erin is smart.[(triple1)] @1: Erin is white.[(((triple1) -> rule6))] @2: Erin is blue.[(((((triple1) -> rule6)) -> rule3))] @3: Erin is big.[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))] Erin is round.[(((triple1 ((((triple1) -> rule6)) -> rule3)) -> rule2))]