Anne is not big. Anne is cold. Anne is furry. Anne is not green. Anne is kind. Anne is not quiet. Anne is not red. Harry is big. Harry is cold. Harry is quiet. If Anne is green and Anne is cold then Anne is furry. If Harry is cold and Harry is red then Harry is furry. All green people are not kind. Red, furry people are kind. Green people are not quiet. Quiet people are red. All red people are furry. All big, green people are furry.
Harry is not quiet.
@0: Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is kind.[(triple5)] Anne is not big.[(triple1)] Anne is not green.[(triple4)] Anne is not quiet.[(triple6)] Anne is not red.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] @1: Harry is red.[(((triple10) -> rule6))] @2: Harry is furry.[(((((triple10) -> rule6)) -> rule7) OR ((triple9 ((triple10) -> rule6)) -> rule2))] @3: Harry is kind.[(((((triple10) -> rule6) ((((triple10) -> rule6)) -> rule7)) -> rule4) OR ((((triple10) -> rule6) ((triple9 ((triple10) -> rule6)) -> rule2)) -> rule4))]