Dave is blue. Dave is kind. Dave is red. Dave is not rough. Dave is not round. Dave is white. Dave is not young. If Dave is round then Dave is white. If Dave is kind then Dave is white. If something is kind then it is not rough. Round things are kind. If something is young and red then it is not kind. If something is round then it is young. If Dave is young then Dave is not blue. All blue things are white.
Dave is not blue.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is not rough.[(triple4 OR ((triple2) -> rule3))] Dave is not round.[(triple5)] Dave is not young.[(triple7)] Dave is red.[(triple3)] Dave is white.[(triple6 OR ((triple1) -> rule8) OR ((triple2) -> rule2))]