Anne is rough. Charlie is not rough. Fiona is quiet. Harry is green. All red, quiet things are cold. If Fiona is big then Fiona is not cold. If something is not big and not rough then it is green. If something is green then it is white. If Harry is cold then Harry is not big. If Anne is white then Anne is quiet.
Harry is not green.