Dave is blue. Dave is not furry. Dave is green. Dave is not red. Dave is not rough. Dave is white. Dave is not young. Young things are not white. If something is furry and not rough then it is white. If Dave is furry and Dave is not green then Dave is not white. If something is white and not green then it is red. All young things are furry. All furry, green things are blue. All white, red things are blue. If Dave is green and Dave is not furry then Dave is blue.
Dave is green.
@0: Dave is blue.[(triple1 OR ((triple3 triple2) -> rule8))] Dave is green.[(triple3)] Dave is not furry.[(triple2)] Dave is not red.[(triple4)] Dave is not rough.[(triple5)] Dave is not young.[(triple7)] Dave is white.[(triple6)]