Anne is not big. Anne is cold. Anne is kind. Anne is red. Charlie is big. Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is red. Dave is furry. Dave is red. Harry is big. Harry is not furry. Harry is not kind. Harry is rough. If Harry is furry and Harry is not white then Harry is not kind. If Harry is red and Harry is white then Harry is rough. Furry things are red.
Harry is not red.
@0: Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is not big.[(triple1)] Anne is red.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple7)] Charlie is kind.[(triple8)] Charlie is not cold.[(triple6)] Charlie is red.[(triple9 OR ((triple7) -> rule3))] Dave is furry.[(triple10)] Dave is red.[(triple11 OR ((triple10) -> rule3))] Harry is big.[(triple12)] Harry is not furry.[(triple13)] Harry is not kind.[(triple14)] Harry is rough.[(triple15)]