Anne is big. Anne is blue. Anne is green. Anne is not kind. Anne is round. Anne is white. Anne is not young. If someone is round then they are not kind.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is not kind.[(triple4 OR ((triple5) -> rule1))] Anne is not young.[(triple7)] Anne is round.[(triple5)] Anne is white.[(triple6)]