Anne is rough. Anne is round. Erin is big. Smart things are white. White things are kind. If Anne is round then Anne is smart. All white things are not big. Kind, rough things are smart. If Anne is not rough and Anne is not white then Anne is not young.
Erin is not big.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Erin is big.[(triple3)] @1: Anne is smart.[(((triple2) -> rule3))] @2: Anne is white.[(((((triple2) -> rule3)) -> rule1))] @3: Anne is kind.[(((((((triple2) -> rule3)) -> rule1)) -> rule2))] Anne is not big.[(((((((triple2) -> rule3)) -> rule1)) -> rule4))]