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