Anne is big. Anne is blue. Anne is nice. Anne is red. Anne is round. Anne is white. Anne is young. Round, red things are white.
Anne is not red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple5 triple4) -> rule1))] Anne is young.[(triple7)]