Anne is round. Harry is big. If someone is rough then they are not big. If someone is round then they are big. If Anne is rough then Anne is big. Rough, white people are blue. If someone is big then they are not blue. All round people are not rough.
Anne is not white.
@0: Anne is round.[(triple1)] Harry is big.[(triple2)] @1: Anne is big.[(((triple1) -> rule2))] Anne is not rough.[(((triple1) -> rule6))] Harry is not blue.[(((triple2) -> rule5))] @2: Anne is not blue.[(((((triple1) -> rule2)) -> rule5))]