Anne is cold. Charlie is smart. Erin is cold. Harry is not cold. All green people are rough. If someone is green then they are rough. If Anne is white and Anne is cold then Anne is not smart. If Charlie is white and Charlie is rough then Charlie is green. Cold people are green. If Erin is big and Erin is white then Erin is red.
Anne is not red.