Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is rough. Erin is not smart. Gary is big. Gary is cold. Gary is green. Gary is rough. Gary is smart. If someone is cold then they are red. If someone is not rough then they are green. If someone is big and smart then they are green. If Erin is big and Erin is red then Erin is kind. If someone is not cold then they are not green. If Gary is not green then Gary is kind. If Erin is big and Erin is not red then Erin is not kind. If someone is not kind and not rough then they are not smart.
Erin is not cold.