Anne is big. Anne is blue. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is white. If Anne is big then Anne is round. If Anne is white then Anne is big.
Anne is not white.
@0: Anne is big.[(triple1 OR ((triple7) -> rule2))] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is red.[(triple5)] Anne is round.[(triple6 OR ((triple1) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Anne is white.[(triple7)]