Charlie is furry. Charlie is nice. Erin is blue. Erin is cold. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is rough. Gary is blue. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is rough. Red things are nice. If Erin is rough and Erin is green then Erin is cold. If something is nice then it is red. All red things are green. All cold, rough things are green. All blue, nice things are furry. If something is green then it is nice. All red, green things are blue.
Charlie is blue.