Dave is not blue. Dave is nice. Dave is smart. Dave is young. Gary is round. Gary is not smart. Gary is not young. If someone is young then they are not cold. If someone is not young then they are blue.
Dave is smart.