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