Anne is red. All round, green things are white. All red things are white. If something is white and not round then it is nice. White things are nice. Nice things are green. Young things are green.
Anne is red.
@0: Anne is red.[(triple1)] @1: Anne is white.[(((triple1) -> rule2))] @2: Anne is nice.[(((((triple1) -> rule2)) -> rule4))] @3: Anne is green.[(((((((triple1) -> rule2)) -> rule4)) -> rule5))]