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