Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is white. Charlie is not young. Erin is big. Erin is cold. Erin is not furry. Erin is green. Erin is red. Erin is white. Erin is young. If Charlie is red and Charlie is furry then Charlie is big. If Erin is green then Erin is cold. All green, white people are cold. If Charlie is white then Charlie is green. Cold, big people are green. If Erin is green and Erin is cold then Erin is big. If Erin is green and Erin is not cold then Erin is big. If Erin is not white and Erin is not green then Erin is red.
Erin is red.