Anne is not blue. Anne is green. Anne is nice. Anne is not red. Anne is white. Bob is blue. Bob is nice. Bob is white. Erin is cold. Erin is round. Erin is white. Gary is nice. If something is cold and not red then it is white. If Bob is blue then Bob is nice. If Erin is not green then Erin is round. If something is blue and nice then it is round. All cold things are white. If something is not blue and not round then it is cold.
Bob is not red.