Anne is blue. Anne is furry. Anne is kind. Anne is quiet. Anne is red. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is smart. Harry is blue. Harry is quiet. Harry is red. Harry is smart. Furry, blue people are quiet. If someone is kind then they are quiet. All furry people are kind. Furry people are red. If someone is blue then they are red. If someone is kind and red then they are smart. If someone is red then they are smart. All smart, red people are cold.
Harry is not kind.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3 OR ((triple2) -> rule3))] Anne is quiet.[(triple4 OR ((triple3) -> rule2) OR ((triple2 triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule2))] Anne is red.[(triple5 OR ((triple1) -> rule5) OR ((triple2) -> rule4))] Erin is blue.[(triple6)] Erin is cold.[(triple7 OR ((triple12 triple11) -> rule8) OR ((triple12 ((triple6) -> rule5)) -> rule8) OR ((triple12 ((triple8) -> rule4)) -> rule8) OR ((((triple11) -> rule7) triple11) -> rule8) OR ((((triple9 triple11) -> rule6) triple11) -> rule8) OR ((((triple11) -> rule7) ((triple6) -> rule5)) -> rule8) OR ((((triple11) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((triple9 triple11) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((triple9 triple11) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) triple11) -> rule8) OR ((((((triple8) -> rule4)) -> rule7) triple11) -> rule8) OR ((((triple9 ((triple6) -> rule5)) -> rule6) triple11) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule6) triple11) -> rule8) OR ((((((triple8) -> rule3) triple11) -> rule6) triple11) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) ((triple6) -> rule5)) -> rule8) OR ((((((triple6) -> rule5)) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule4)) -> rule7) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule4)) -> rule7) ((triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((triple9 ((triple6) -> rule5)) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((triple9 ((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule3) triple11) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule3) triple11) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) triple11) -> rule8) OR ((((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6) triple11) -> rule8) OR ((((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) ((triple8) -> rule4)) -> rule8) OR ((((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6) ((triple6) -> rule5)) -> rule8) OR ((((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6) ((triple8) -> rule4)) -> rule8))] Erin is furry.[(triple8)] Erin is kind.[(triple9 OR ((triple8) -> rule3))] Erin is quiet.[(triple10 OR ((triple9) -> rule2) OR ((triple8 triple6) -> rule1) OR ((((triple8) -> rule3)) -> rule2))] Erin is red.[(triple11 OR ((triple6) -> rule5) OR ((triple8) -> rule4))] Erin is smart.[(triple12 OR ((triple11) -> rule7) OR ((triple9 triple11) -> rule6) OR ((((triple6) -> rule5)) -> rule7) OR ((((triple8) -> rule4)) -> rule7) OR ((triple9 ((triple6) -> rule5)) -> rule6) OR ((triple9 ((triple8) -> rule4)) -> rule6) OR ((((triple8) -> rule3) triple11) -> rule6) OR ((((triple8) -> rule3) ((triple6) -> rule5)) -> rule6) OR ((((triple8) -> rule3) ((triple8) -> rule4)) -> rule6))] Harry is blue.[(triple13)] Harry is quiet.[(triple14)] Harry is red.[(triple15 OR ((triple13) -> rule5))] Harry is smart.[(triple16 OR ((triple15) -> rule7) OR ((((triple13) -> rule5)) -> rule7))] @1: Anne is smart.[(((triple5) -> rule7) OR ((triple3 triple5) -> rule6) OR ((((triple1) -> rule5)) -> rule7) OR ((((triple2) -> rule4)) -> rule7) OR ((triple3 ((triple1) -> rule5)) -> rule6) OR ((triple3 ((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule3) triple5) -> rule6) OR ((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) OR ((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6))] Harry is cold.[(((triple16 triple15) -> rule8) OR ((triple16 ((triple13) -> rule5)) -> rule8) OR ((((triple15) -> rule7) triple15) -> rule8) OR ((((triple15) -> rule7) ((triple13) -> rule5)) -> rule8) OR ((((((triple13) -> rule5)) -> rule7) triple15) -> rule8) OR ((((((triple13) -> rule5)) -> rule7) ((triple13) -> rule5)) -> rule8))] @2: Anne is cold.[(((((triple5) -> rule7) triple5) -> rule8) OR ((((triple3 triple5) -> rule6) triple5) -> rule8) OR ((((triple5) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((triple5) -> rule7) ((triple2) -> rule4)) -> rule8) OR ((((triple3 triple5) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((triple3 triple5) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple1) -> rule5)) -> rule7) triple5) -> rule8) OR ((((((triple2) -> rule4)) -> rule7) triple5) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule6) triple5) -> rule8) OR ((((triple3 ((triple2) -> rule4)) -> rule6) triple5) -> rule8) OR ((((((triple2) -> rule3) triple5) -> rule6) triple5) -> rule8) OR ((((((triple1) -> rule5)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple1) -> rule5)) -> rule7) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule4)) -> rule7) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule4)) -> rule7) ((triple2) -> rule4)) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((triple3 ((triple1) -> rule5)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((triple3 ((triple2) -> rule4)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((triple3 ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule3) triple5) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule3) triple5) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) triple5) -> rule8) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) triple5) -> rule8) OR ((((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule3) ((triple1) -> rule5)) -> rule6) ((triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) ((triple1) -> rule5)) -> rule8) OR ((((((triple2) -> rule3) ((triple2) -> rule4)) -> rule6) ((triple2) -> rule4)) -> rule8))]