Charlie is not furry. Charlie is not quiet. Dave is furry. Dave is not nice. Dave is smart. Dave is white. Dave is not young. If Dave is young then Dave is not furry. If Charlie is quiet then Charlie is white. If something is quiet and red then it is young. If something is quiet then it is young. If Charlie is not young then Charlie is not nice. If something is young and not nice then it is white.
Dave is not young.
@0: Charlie is not furry.[(triple1)] Charlie is not quiet.[(triple2)] Dave is furry.[(triple3)] Dave is not nice.[(triple4)] Dave is not young.[(triple7)] Dave is smart.[(triple5)] Dave is white.[(triple6)]