Anne is rough. Anne is round. Harry is big. If Anne is blue then Anne is young. If Harry is quiet and Harry is not nice then Harry is not blue. If something is big then it is young. All round, big things are young. If something is round then it is big. Quiet things are blue. If Anne is not blue then Anne is not nice. If Anne is nice and Anne is round then Anne is rough.
Harry is rough.
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Harry is big.[(triple3)] @1: Anne is big.[(((triple2) -> rule5))] Harry is young.[(((triple3) -> rule3))] @2: Anne is young.[(((((triple2) -> rule5)) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule4))]