Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is young. If something is nice then it is smart. All young, green things are nice. If Dave is nice and Dave is smart then Dave is green. Smart, nice things are blue. All furry, quiet things are young. If Dave is nice and Dave is blue then Dave is furry. If something is green then it is blue. If Dave is furry then Dave is young.
Dave is not blue.
@0: Dave is blue.[(triple1 OR ((triple3) -> rule7) OR ((triple6 triple4) -> rule4) OR ((((triple4 triple6) -> rule3)) -> rule7) OR ((triple6 ((triple7 triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7) OR ((triple6 ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((triple6 ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((triple4) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((triple4) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((triple7 triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) triple4) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((((triple2) -> rule8) triple3) -> rule2)) -> rule4) OR ((((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1) ((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule4))] Dave is furry.[(triple2 OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple3) -> rule7)) -> rule6) OR ((triple4 ((triple6 triple4) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) triple1) -> rule6) OR ((((triple7 triple3) -> rule2) ((triple3) -> rule7)) -> rule6) OR ((((triple7 triple3) -> rule2) ((triple6 triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((triple6 ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((triple4 ((((triple4) -> rule1) triple4) -> rule4)) -> rule6) OR ((triple4 ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6) OR ((((triple7 triple3) -> rule2) ((triple6 ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4) -> rule1) triple4) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((triple4 ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6) OR ((triple4 ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4)) -> rule6) OR ((triple4 ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((((triple7 triple3) -> rule2)) -> rule1) triple4) -> rule4)) -> rule6) OR ((((triple7 triple3) -> rule2) ((((((triple7 triple3) -> rule2)) -> rule1) ((triple7 triple3) -> rule2)) -> rule4)) -> rule6))] Dave is green.[(triple3 OR ((triple4 triple6) -> rule3) OR ((triple4 ((triple4) -> rule1)) -> rule3))] Dave is nice.[(triple4 OR ((triple7 triple3) -> rule2) OR ((((triple2) -> rule8) triple3) -> rule2) OR ((((triple2 triple5) -> rule5) triple3) -> rule2))] Dave is quiet.[(triple5)] Dave is smart.[(triple6 OR ((triple4) -> rule1) OR ((((triple7 triple3) -> rule2)) -> rule1) OR ((((((triple2) -> rule8) triple3) -> rule2)) -> rule1) OR ((((((triple2 triple5) -> rule5) triple3) -> rule2)) -> rule1))] Dave is young.[(triple7 OR ((triple2) -> rule8) OR ((triple2 triple5) -> rule5) OR ((((triple4 triple1) -> rule6)) -> rule8) OR ((((triple4 triple1) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple3) -> rule7)) -> rule6)) -> rule8) OR ((((triple4 ((triple6 triple4) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((triple3) -> rule7)) -> rule6) triple5) -> rule5) OR ((((triple4 ((triple6 triple4) -> rule4)) -> rule6) triple5) -> rule5) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6)) -> rule8) OR ((((triple4 ((((triple4) -> rule1) triple4) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule6) triple5) -> rule5) OR ((((triple4 ((((triple4) -> rule1) triple4) -> rule4)) -> rule6) triple5) -> rule5) OR ((((triple4 ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6)) -> rule8) OR ((((triple4 ((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule7)) -> rule6) triple5) -> rule5))]