Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is smart. Dave is white. All white people are smart. If someone is green and smart then they are white. If someone is white and red then they are quiet. Furry, white people are red. If someone is furry and green then they are smart. All blue people are red. If someone is furry and white then they are quiet. Quiet people are green.
Dave is not red.
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple4) -> rule8) OR ((((triple2 triple7) -> rule7)) -> rule8) OR ((((triple7 triple5) -> rule3)) -> rule8) OR ((((triple7 ((triple1) -> rule6)) -> rule3)) -> rule8) OR ((((triple7 ((triple2 triple7) -> rule4)) -> rule3)) -> rule8))] Dave is quiet.[(triple4 OR ((triple2 triple7) -> rule7) OR ((triple7 triple5) -> rule3) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule7) OR ((triple7 ((triple1) -> rule6)) -> rule3) OR ((triple7 ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 triple6) -> rule2) triple5) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple2 triple7) -> rule4)) -> rule3) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule7) OR ((triple7 ((triple2 ((triple3 triple6) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) triple5) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple2 ((triple3 triple6) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple1) -> rule6)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple2 triple7) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple2 ((triple3 triple6) -> rule2)) -> rule4)) -> rule3) OR ((triple7 ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 triple6) -> rule2) ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((triple3 ((triple2 triple3) -> rule5)) -> rule2) ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4)) -> rule3))] Dave is red.[(triple5 OR ((triple1) -> rule6) OR ((triple2 triple7) -> rule4) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) triple6) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 triple3) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((triple3 ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4) OR ((triple2 ((((triple4) -> rule8) ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2)) -> rule4))] Dave is smart.[(triple6 OR ((triple7) -> rule1) OR ((triple2 triple3) -> rule5) OR ((triple2 ((triple4) -> rule8)) -> rule5) OR ((triple2 ((((triple2 triple7) -> rule7)) -> rule8)) -> rule5) OR ((triple2 ((((triple7 triple5) -> rule3)) -> rule8)) -> rule5) OR ((triple2 ((((triple7 ((triple1) -> rule6)) -> rule3)) -> rule8)) -> rule5) OR ((triple2 ((((triple7 ((triple2 triple7) -> rule4)) -> rule3)) -> rule8)) -> rule5))] Dave is white.[(triple7 OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple2 triple3) -> rule5)) -> rule2) OR ((((triple4) -> rule8) triple6) -> rule2) OR ((((triple4) -> rule8) ((triple2 triple3) -> rule5)) -> rule2) OR ((triple3 ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2) OR ((((triple4) -> rule8) ((triple2 ((triple4) -> rule8)) -> rule5)) -> rule2))]