Anne is nice. Anne is white. Erin is quiet. If something is smart then it is white. All smart, cold things are not quiet. If something is smart then it is quiet. If Anne is nice and Anne is white then Anne is smart. Quiet things are rough. Rough things are smart. If Anne is rough and Anne is not nice then Anne is not cold. If Anne is not quiet then Anne is young.
Erin is not rough.
@0: Anne is nice.[(triple1)] Anne is white.[(triple2)] Erin is quiet.[(triple3)] @1: Anne is smart.[(((triple1 triple2) -> rule4))] Erin is rough.[(((triple3) -> rule5))] @2: Anne is quiet.[(((((triple1 triple2) -> rule4)) -> rule3))] Erin is smart.[(((((triple3) -> rule5)) -> rule6))] @3: Anne is rough.[(((((((triple1 triple2) -> rule4)) -> rule3)) -> rule5))] Erin is white.[(((((((triple3) -> rule5)) -> rule6)) -> rule1))]