Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is smart. Charlie is furry. Charlie is green. Charlie is kind. Charlie is red. Charlie is smart. Harry is blue. Harry is green. Harry is kind. Harry is quiet. All red things are green. If Harry is green then Harry is quiet. Blue, smart things are kind. Smart, blue things are kind. If something is blue then it is quiet. All green, furry things are red. If Harry is kind and Harry is furry then Harry is green. If something is green and furry then it is red.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple5) -> rule1))] Anne is kind.[(triple4 OR ((triple1 triple6) -> rule3) OR ((triple6 triple1) -> rule4))] Anne is red.[(triple5 OR ((triple3 triple2) -> rule6) OR ((triple3 triple2) -> rule8))] Anne is smart.[(triple6)] Charlie is furry.[(triple7)] Charlie is green.[(triple8 OR ((triple10) -> rule1))] Charlie is kind.[(triple9)] Charlie is red.[(triple10 OR ((triple8 triple7) -> rule6) OR ((triple8 triple7) -> rule8))] Charlie is smart.[(triple11)] Harry is blue.[(triple12)] Harry is green.[(triple13)] Harry is kind.[(triple14)] Harry is quiet.[(triple15 OR ((triple12) -> rule5) OR ((triple13) -> rule2))] @1: Anne is quiet.[(((triple1) -> rule5))]