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