Charlie is young. Dave is red. Gary is rough. If Dave is white and Dave is young then Dave is not red. If Gary is not rough and Gary is not blue then Gary is young. If Dave is not quiet and Dave is not rough then Dave is blue. If something is red and blue then it is not young. All rough, kind things are young. Quiet things are not white.
Gary is not young.
@0: Charlie is young.[(triple1)] Dave is red.[(triple2)] Gary is rough.[(triple3)]