Charlie is not quiet. Dave is not nice. Dave is not young. If something is nice then it is red. If something is young and not nice then it is not kind. If something is red then it is quiet.
Dave is not red.
@0: Charlie is not quiet.[(triple1)] Dave is not nice.[(triple2)] Dave is not young.[(triple3)]