Dave is not young. If Dave is red and Dave is rough then Dave is nice. If Dave is young then Dave is rough. All young things are rough. If Dave is young then Dave is blue. White things are not nice. All red, kind things are not white. All young things are not kind. If something is nice and not blue then it is not kind.
Dave is white.
@0: Dave is not young.[(triple1)]