Dave is nice. Gary is red. All big, red people are young. All blue people are nice. If Gary is round and Gary is blue then Gary is young. If Dave is young then Dave is quiet. All blue, red people are nice. All quiet, blue people are young.
Dave is not nice.