Anne is not blue. Anne is not green. Anne is kind. Anne is nice. Anne is round. Anne is smart. Anne is young. Harry is blue. Harry is green. Harry is not kind. Harry is nice. Harry is not round. Harry is smart. Harry is young. If something is nice and not round then it is young. If Harry is not blue then Harry is young.
Anne is not kind.
@0: Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not blue.[(triple1)] Anne is not green.[(triple2)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple11)] Harry is not kind.[(triple10)] Harry is not round.[(triple12)] Harry is smart.[(triple13)] Harry is young.[(triple14 OR ((triple11 triple12) -> rule1))]