Anne is red. Anne is young. Bob is green. Bob is red. Bob is round. Bob is smart. Bob is white. Bob is young. Erin is round. Erin is young. Harry is white. White, red people are round. All green people are white. Smart, white people are cold. If Anne is cold then Anne is smart. If Harry is not smart then Harry is not cold. All red people are green. If Anne is round then Anne is cold. If Anne is not white then Anne is not cold. If someone is round and not smart then they are green.
Harry is not red.