Anne is blue. Anne is rough. Anne is round. Anne is white. Anne is not young. Harry is blue. Harry is nice. Harry is rough. Harry is round. Harry is smart. Harry is not white. Harry is young. All white, round people are nice.
Anne is not round.
@0: Anne is blue.[(triple1)] Anne is not young.[(triple5)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Harry is blue.[(triple6)] Harry is nice.[(triple7)] Harry is not white.[(triple11)] Harry is rough.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] Harry is young.[(triple12)] @1: Anne is nice.[(((triple4 triple3) -> rule1))]