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