Anne is cold. Anne is not young. Charlie is green. Charlie is young. Erin is not young. Gary is big. Gary is smart. If someone is kind then they are not nice. All nice people are smart. If Anne is green and Anne is not cold then Anne is not smart. If Erin is not kind then Erin is green. If Charlie is nice then Charlie is young. All cold people are smart. If Erin is green then Erin is cold. If someone is big and green then they are not kind. Smart people are big.
Anne is cold.