Anne is not blue. Anne is cold. Anne is furry. Anne is nice. Anne is not rough. Anne is round. Anne is white. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is rough. If something is rough and not round then it is nice. If something is blue then it is rough. If something is round and blue then it is not cold.
Harry is not nice.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is not blue.[(triple1)] Anne is not rough.[(triple5)] Anne is round.[(triple6)] Anne is white.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is rough.[(triple12 OR ((triple8) -> rule2))]