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