Anne is blue. Anne is not red. Anne is white. Quiet, white things are round. All blue things are not round. If Anne is blue and Anne is big then Anne is green. Quiet things are blue. Green things are blue. Blue things are white. All round things are green. If something is round and not red then it is green.
Anne is not green.
@0: Anne is blue.[(triple1)] Anne is not red.[(triple2)] Anne is white.[(triple3 OR ((triple1) -> rule6))] @1: Anne is not round.[(((triple1) -> rule2))]