Anne is rough. Erin is rough. Harry is rough. All round people are big. If Harry is rough then Harry is red. All red, rough people are round. If Harry is quiet then Harry is not big. If Harry is white then Harry is rough. If someone is round and not white then they are not red.
Harry is not white.
@0: Anne is rough.[(triple1)] Erin is rough.[(triple2)] Harry is rough.[(triple3)] @1: Harry is red.[(((triple3) -> rule2))] @2: Harry is round.[(((((triple3) -> rule2) triple3) -> rule3))] @3: Harry is big.[(((((((triple3) -> rule2) triple3) -> rule3)) -> rule1))]