Anne is green. Anne is red. Anne is round. Anne is white. Charlie is green. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. Dave is nice. Dave is round. Dave is white. Harry is kind. If Harry is round then Harry is nice. Nice things are round.
Harry is not nice.
@0: Anne is green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Charlie is green.[(triple5)] Charlie is kind.[(triple6)] Charlie is nice.[(triple7)] Charlie is red.[(triple8)] Charlie is round.[(triple9 OR ((triple7) -> rule2))] Charlie is smart.[(triple10)] Charlie is white.[(triple11)] Dave is nice.[(triple12)] Dave is round.[(triple13 OR ((triple12) -> rule2))] Dave is white.[(triple14)] Harry is kind.[(triple15)]