Erin is smart. If Erin is kind then Erin is quiet. Green things are cold. Green things are white. All white, cold things are kind. If something is white and cold then it is green. If something is quiet then it is kind. If something is round then it is quiet. If Erin is smart then Erin is round.
Erin is not round.
@0: Erin is smart.[(triple1)] @1: Erin is round.[(((triple1) -> rule8))] @2: Erin is quiet.[(((((triple1) -> rule8)) -> rule7))] @3: Erin is kind.[(((((((triple1) -> rule8)) -> rule7)) -> rule6))]