Anne is big. Anne is not blue. Anne is furry. Anne is green. Charlie is cold. Erin is not cold. Erin is smart. Erin is white. Gary is blue. Gary is cold. Gary is not smart. Gary is white. If Gary is blue then Gary is not furry.
Anne is smart.