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