Anne is kind. Anne is quiet. Anne is red. All young, white people are big. If Anne is quiet then Anne is white. If Anne is white and Anne is kind then Anne is young.
Anne is young.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is red.[(triple3)] @1: Anne is white.[(((triple2) -> rule2))] @2: Anne is young.[(((((triple2) -> rule2) triple1) -> rule3))] @3: Anne is big.[(((((((triple2) -> rule2) triple1) -> rule3) ((triple2) -> rule2)) -> rule1))]