Anne is not round. Erin is big. Harry is blue. Furry people are quiet. If someone is blue and green then they are big. Blue, green people are big. If someone is blue then they are furry. If Harry is quiet and Harry is blue then Harry is not green. All quiet, big people are white.
Harry is furry.
@0: Anne is not round.[(triple1)] Erin is big.[(triple2)] Harry is blue.[(triple3)] @1: Harry is furry.[(((triple3) -> rule4))] @2: Harry is quiet.[(((((triple3) -> rule4)) -> rule1))] @3: Harry is not green.[(((((((triple3) -> rule4)) -> rule1) triple3) -> rule5))]