Anne is red. Harry is white. All quiet people are red. Big, round people are red. If someone is white then they are big. If Harry is round and Harry is big then Harry is red. If someone is big then they are round. If someone is quiet and not round then they are young.
Anne is not quiet.
@0: Anne is red.[(triple1)] Harry is white.[(triple2)] @1: Harry is big.[(((triple2) -> rule3))] @2: Harry is round.[(((((triple2) -> rule3)) -> rule5))] @3: Harry is red.[(((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule5)) -> rule2) OR ((((((triple2) -> rule3)) -> rule5) ((triple2) -> rule3)) -> rule4))]