Anne is blue. Anne is furry. Anne is smart. If Anne is white and Anne is blue then Anne is quiet. Young, white things are smart. If something is smart then it is quiet. If something is big then it is smart. If Anne is quiet and Anne is furry then Anne is young. All smart, young things are white.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3)] @1: Anne is quiet.[(((triple3) -> rule3))] @2: Anne is young.[(((((triple3) -> rule3) triple2) -> rule5))] @3: Anne is white.[(((triple3 ((((triple3) -> rule3) triple2) -> rule5)) -> rule6))]