Anne is big. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is not round. Anne is smart. Harry is green. Harry is not kind. Harry is nice. Harry is not quiet. Harry is smart. If Harry is smart and Harry is not kind then Harry is not big.
Anne is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is not round.[(triple6)] Anne is quiet.[(triple5)] Anne is smart.[(triple7)] Harry is green.[(triple8)] Harry is nice.[(triple10)] Harry is not kind.[(triple9)] Harry is not quiet.[(triple11)] Harry is smart.[(triple12)] @1: Harry is not big.[(((triple12 triple9) -> rule1))]