Anne is big. Anne is cold. Anne is not kind. Anne is red. Anne is rough. Anne is smart. Anne is young. Dave is not kind. Dave is red. Dave is rough. Dave is smart. Harry is not big. Harry is cold. Harry is kind. Harry is smart. Harry is not young. If Harry is red and Harry is not cold then Harry is not rough. If Dave is rough then Dave is smart.
Dave is cold.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not kind.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Dave is not kind.[(triple8)] Dave is red.[(triple9)] Dave is rough.[(triple10)] Dave is smart.[(triple11 OR ((triple10) -> rule2))] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is not big.[(triple12)] Harry is not young.[(triple16)] Harry is smart.[(triple15)]