Erin is young. Harry is quiet. Harry is red. If someone is not young then they are green. All big people are cold. Young people are green. If Harry is quiet then Harry is not young. If Erin is cold and Erin is not big then Erin is smart. If someone is red and not big then they are quiet. If someone is not smart and not young then they are not big. If someone is big and not green then they are cold.
Harry is not red.