Anne is not cold. Anne is not green. Anne is nice. Anne is not round. Anne is not smart. Anne is white. Anne is young. Bob is green. Gary is not green. Gary is smart. Gary is white. Gary is not young. If someone is young and not white then they are cold. If Gary is nice then Gary is green. If Gary is nice and Gary is cold then Gary is smart. Cold, green people are round. All young, round people are cold. All smart people are not round. If someone is not smart then they are young. If someone is not young then they are not round.
Gary is nice.