Anne is not red. Charlie is not red. Erin is big. Gary is nice. If Erin is big and Erin is kind then Erin is green. Cold people are not green. If someone is not nice then they are not green. All nice people are big. All green, nice people are not red. If someone is not green then they are cold.
Charlie is not big.