Anne is big. Anne is green. Anne is not kind. Anne is not nice. Anne is quiet. Anne is not rough. Anne is not young. Harry is not big. Harry is not green. Harry is nice. Harry is quiet. Harry is not young. Quiet, nice people are not young.
Anne is not young.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not kind.[(triple3)] Anne is not nice.[(triple4)] Anne is not rough.[(triple6)] Anne is not young.[(triple7)] Anne is quiet.[(triple5)] Harry is nice.[(triple10)] Harry is not big.[(triple8)] Harry is not green.[(triple9)] Harry is not young.[(triple12 OR ((triple11 triple10) -> rule1))] Harry is quiet.[(triple11)]