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