Anne is furry. Anne is not quiet. Anne is red. Anne is smart. Charlie is not quiet. Gary is green. Gary is quiet. Gary is smart. Harry is furry. Harry is quiet. All kind, furry things are smart. If something is smart then it is cold. If something is smart then it is cold. All green things are kind. Green things are kind. All red, cold things are kind. If something is kind and smart then it is furry. All red things are green. Furry things are red.
Harry is not smart.
@0: Anne is furry.[(triple1 OR ((((((triple3) -> rule8)) -> rule4) triple4) -> rule7) OR ((((((triple3) -> rule8)) -> rule5) triple4) -> rule7) OR ((((triple3 ((triple4) -> rule2)) -> rule6) triple4) -> rule7) OR ((((triple3 ((triple4) -> rule3)) -> rule6) triple4) -> rule7))] Anne is not quiet.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule9))] Anne is smart.[(triple4 OR ((((((triple3) -> rule8)) -> rule4) triple1) -> rule1) OR ((((((triple3) -> rule8)) -> rule5) triple1) -> rule1) OR ((((((((triple1) -> rule9)) -> rule8)) -> rule4) triple1) -> rule1) OR ((((((((triple1) -> rule9)) -> rule8)) -> rule5) triple1) -> rule1))] Charlie is not quiet.[(triple5)] Gary is green.[(triple6)] Gary is quiet.[(triple7)] Gary is smart.[(triple8)] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] @1: Anne is cold.[(((triple4) -> rule2) OR ((triple4) -> rule3) OR ((((((((triple3) -> rule8)) -> rule4) triple1) -> rule1)) -> rule2) OR ((((((((triple3) -> rule8)) -> rule4) triple1) -> rule1)) -> rule3) OR ((((((((triple3) -> rule8)) -> rule5) triple1) -> rule1)) -> rule2) OR ((((((((triple3) -> rule8)) -> rule5) triple1) -> rule1)) -> rule3) OR ((((((((((triple1) -> rule9)) -> rule8)) -> rule4) triple1) -> rule1)) -> rule2) OR ((((((((((triple1) -> rule9)) -> rule8)) -> rule4) triple1) -> rule1)) -> rule3) OR ((((((((((triple1) -> rule9)) -> rule8)) -> rule5) triple1) -> rule1)) -> rule2) OR ((((((((((triple1) -> rule9)) -> rule8)) -> rule5) triple1) -> rule1)) -> rule3))] Anne is green.[(((triple3) -> rule8) OR ((((triple1) -> rule9)) -> rule8))] Gary is cold.[(((triple8) -> rule2) OR ((triple8) -> rule3))] Gary is kind.[(((triple6) -> rule4) OR ((triple6) -> rule5))] Harry is red.[(((triple9) -> rule9))] @2: Anne is kind.[(((((triple3) -> rule8)) -> rule4) OR ((((triple3) -> rule8)) -> rule5) OR ((triple3 ((triple4) -> rule2)) -> rule6) OR ((triple3 ((triple4) -> rule3)) -> rule6) OR ((((triple1) -> rule9) ((triple4) -> rule2)) -> rule6) OR ((((triple1) -> rule9) ((triple4) -> rule3)) -> rule6) OR ((((((triple1) -> rule9)) -> rule8)) -> rule4) OR ((((((triple1) -> rule9)) -> rule8)) -> rule5))] Gary is furry.[(((((triple6) -> rule4) triple8) -> rule7) OR ((((triple6) -> rule5) triple8) -> rule7))] Harry is green.[(((((triple9) -> rule9)) -> rule8))] @3: Gary is red.[(((((((triple6) -> rule4) triple8) -> rule7)) -> rule9) OR ((((((triple6) -> rule5) triple8) -> rule7)) -> rule9))] Harry is kind.[(((((((triple9) -> rule9)) -> rule8)) -> rule4) OR ((((((triple9) -> rule9)) -> rule8)) -> rule5))] @4: Harry is smart.[(((((((((triple9) -> rule9)) -> rule8)) -> rule4) triple9) -> rule1) OR ((((((((triple9) -> rule9)) -> rule8)) -> rule5) triple9) -> rule1))] @5: Harry is cold.[(((((((((((triple9) -> rule9)) -> rule8)) -> rule4) triple9) -> rule1)) -> rule2) OR ((((((((((triple9) -> rule9)) -> rule8)) -> rule4) triple9) -> rule1)) -> rule3) OR ((((((((((triple9) -> rule9)) -> rule8)) -> rule5) triple9) -> rule1)) -> rule2) OR ((((((((((triple9) -> rule9)) -> rule8)) -> rule5) triple9) -> rule1)) -> rule3))]