Anne is not cold. Anne is nice. Anne is smart. Anne is not young. Bob is cold. Bob is red. Bob is not round. Bob is smart. Bob is young. Gary is cold. Gary is green. Gary is red. Gary is round. Gary is not smart. Gary is not young. If Gary is not green then Gary is smart. If Anne is not smart then Anne is young. If someone is red and not cold then they are not nice. If someone is not cold then they are nice. If Bob is cold then Bob is green. If someone is not smart and not red then they are nice.
Gary is red.