Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is not smart. Anne is white. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is smart. Harry is white. If someone is green and not furry then they are blue. All smart, furry people are blue. All big people are green. If someone is blue and not furry then they are big. If Harry is blue and Harry is cold then Harry is smart. If Harry is smart and Harry is not blue then Harry is white.
Anne is cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is green.[(triple5 OR ((triple1) -> rule3))] Anne is not smart.[(triple6)] Anne is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple13 triple11) -> rule2))] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12 OR ((triple8) -> rule3))] Harry is smart.[(triple13 OR ((triple9 triple10) -> rule5))] Harry is white.[(triple14)]