Dave is blue. Dave is not kind. Dave is nice. Dave is rough. Dave is smart. Dave is white. Dave is young. If Dave is young and Dave is not white then Dave is kind. All kind things are not young. All young, nice things are rough.
Dave is not kind.
@0: Dave is blue.[(triple1)] Dave is nice.[(triple3)] Dave is not kind.[(triple2)] Dave is rough.[(triple4 OR ((triple7 triple3) -> rule3))] Dave is smart.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)]