Anne is green. Harry is young. All quiet things are big. All young things are quiet. Big things are round. If something is young and round then it is red. All quiet things are red. If Harry is big and Harry is not quiet then Harry is not round.
Anne is round.
@0: Anne is green.[(triple1)] Harry is young.[(triple2)] @1: Harry is quiet.[(((triple2) -> rule2))] @2: Harry is big.[(((((triple2) -> rule2)) -> rule1))] Harry is red.[(((((triple2) -> rule2)) -> rule5) OR ((triple2 ((((((triple2) -> rule2)) -> rule1)) -> rule3)) -> rule4))] @3: Harry is round.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]