Dave is cold. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is white. Gary is big. Gary is cold. Gary is green. Gary is white. If Gary is big and Gary is cold then Gary is white. White, quiet people are red. White, cold people are big. Nice people are cold. All red, nice people are cold. If Gary is white then Gary is red. Cold, green people are nice. If someone is big then they are white.
Dave is red.