Bob is green. Erin is furry. Erin is green. Erin is quiet. Erin is red. Erin is round. Erin is white. Fiona is furry. Fiona is green. Fiona is round. Gary is red. Gary is white. Quiet things are furry. All smart things are quiet. If something is green then it is white. If something is round then it is smart. All white, green things are round. If Erin is red and Erin is green then Erin is white.
Gary is not red.