Bob is young. Bob is red. Bob is nice. Charlie is young. Charlie is rough. Charlie is big. Dave is red. Dave is cold. Dave is blue. Fred is kind. Fred is green. Fred is cold. If someone is rough and kind and round then they are big. If someone is round and red then they are kind. If someone is nice and round and cold then they are young. If someone is cold and kind then they are nice. If someone is cold and blue then they are round.
Dave is not round.