Anne is not cold. Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is smart. Anne is white. Bob is cold. Erin is furry. Erin is rough. Erin is round. Harry is cold. Harry is furry. Harry is red. Harry is not round. Round things are red. If something is cold and not furry then it is not red. If something is cold and not rough then it is not round. If Erin is white then Erin is cold. If something is white then it is smart. Round, furry things are smart.
Anne is not round.
@0: Anne is furry.[(triple2)] Anne is not cold.[(triple1)] Anne is red.[(triple3 OR ((triple5) -> rule1))] Anne is rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple7) -> rule5) OR ((triple5 triple2) -> rule6))] Anne is white.[(triple7)] Bob is cold.[(triple8)] Erin is furry.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Harry is cold.[(triple12)] Harry is furry.[(triple13)] Harry is not round.[(triple15)] Harry is red.[(triple14)] @1: Erin is red.[(((triple11) -> rule1))] Erin is smart.[(((triple11 triple9) -> rule6))]