Anne is white. Harry is cold. Harry is smart. If someone is big then they are cold. Red people are big. If someone is big and cold then they are not rough. If someone is not green and not smart then they are not rough. Smart, red people are cold. If Anne is not smart and Anne is not green then Anne is red.
Harry is green.