Dave is not big. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is not white. If someone is red and not nice then they are furry. All white, kind people are furry. If Dave is big and Dave is not nice then Dave is kind. Furry people are red. If someone is big and not kind then they are not green. All kind people are green.
Dave is white.
@0: Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple4) -> rule6))] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is not big.[(triple1)] Dave is not white.[(triple7)] Dave is red.[(triple6 OR ((triple2) -> rule4))]