Charlie is blue. Charlie is cold. Charlie is nice. Charlie is red. Charlie is rough. Charlie is round. Charlie is young. Erin is blue. Erin is cold. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. If Erin is rough then Erin is round. If Erin is red then Erin is nice. All cold, round things are rough.
Charlie is not blue.