Dave is big. Dave is blue. Dave is furry. Dave is not green. Dave is kind. Dave is nice. Dave is red. All red things are nice. All big, green things are not nice. If something is blue and not green then it is big. Furry, green things are big. If Dave is furry and Dave is not green then Dave is red. If Dave is red and Dave is nice then Dave is blue. If Dave is green then Dave is not kind. If Dave is big and Dave is green then Dave is not nice.
Dave is not blue.
@0: Dave is big.[(triple1 OR ((triple2 triple4) -> rule3) OR ((((triple7 triple6) -> rule6) triple4) -> rule3) OR ((((triple7 ((triple7) -> rule1)) -> rule6) triple4) -> rule3) OR ((((((triple3 triple4) -> rule5) triple6) -> rule6) triple4) -> rule3) OR ((((((triple3 triple4) -> rule5) ((triple7) -> rule1)) -> rule6) triple4) -> rule3) OR ((((triple7 ((((triple3 triple4) -> rule5)) -> rule1)) -> rule6) triple4) -> rule3) OR ((((((triple3 triple4) -> rule5) ((((triple3 triple4) -> rule5)) -> rule1)) -> rule6) triple4) -> rule3))] Dave is blue.[(triple2 OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple7) -> rule1)) -> rule6) OR ((((triple3 triple4) -> rule5) triple6) -> rule6) OR ((((triple3 triple4) -> rule5) ((triple7) -> rule1)) -> rule6) OR ((triple7 ((((triple3 triple4) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 triple4) -> rule5) ((((triple3 triple4) -> rule5)) -> rule1)) -> rule6))] Dave is furry.[(triple3)] Dave is kind.[(triple5)] Dave is nice.[(triple6 OR ((triple7) -> rule1) OR ((((triple3 triple4) -> rule5)) -> rule1))] Dave is not green.[(triple4)] Dave is red.[(triple7 OR ((triple3 triple4) -> rule5))]