Charlie is rough. Dave is red. Erin is red. Gary is not green. If someone is cold then they are green. If Dave is rough then Dave is round. All rough people are cold. Cold, green people are red. Rough, cold people are green. If Charlie is round and Charlie is not green then Charlie is cold.
Charlie is not cold.