Anne is not blue. Anne is cold. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is not smart. Harry is blue. Harry is cold. Harry is furry. Harry is not green. Harry is red. Harry is round. Harry is not smart. Smart things are cold. Blue things are not green. If something is furry and not red then it is blue.
Harry is not cold.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is not blue.[(triple1)] Anne is not smart.[(triple7)] Anne is red.[(triple5)] Anne is round.[(triple6)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is not green.[(triple11 OR ((triple8) -> rule2))] Harry is not smart.[(triple14)] Harry is red.[(triple12)] Harry is round.[(triple13)]