Charlie is green. Charlie is red. Erin is round. Gary is not green. Gary is round. Harry is big. Harry is furry. If Erin is furry and Erin is big then Erin is cold. If something is furry then it is big. Cold things are furry. If something is cold then it is smart. Round things are furry. If Harry is furry and Harry is not smart then Harry is not green.
Erin is not cold.