Anne is cold. Anne is furry. Anne is not nice. Anne is red. Anne is rough. Anne is round. Anne is not smart. Harry is cold. Harry is furry. Harry is nice. Harry is red. Harry is rough. Harry is round. Harry is not smart. Nice things are cold. Nice, furry things are cold. If something is nice then it is furry. All furry things are not smart. If something is round and not red then it is rough. If something is round and not cold then it is rough.
Anne is not furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is not nice.[(triple3)] Anne is not smart.[(triple7 OR ((triple2) -> rule4))] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Harry is cold.[(triple8 OR ((triple10) -> rule1) OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule3)) -> rule2))] Harry is furry.[(triple9 OR ((triple10) -> rule3))] Harry is nice.[(triple10)] Harry is not smart.[(triple14 OR ((triple9) -> rule4) OR ((((triple10) -> rule3)) -> rule4))] Harry is red.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)]