Anne is blue. Anne is furry. Anne is not green. Anne is nice. Anne is round. Anne is smart. Anne is not white. Gary is not blue. Gary is furry. Gary is green. Gary is nice. Gary is round. Gary is smart. Gary is not white. If Gary is blue and Gary is furry then Gary is white. If someone is nice and green then they are not white. If someone is smart then they are round. If someone is round and not green then they are blue. Green people are smart. If Anne is not blue and Anne is not white then Anne is not furry.
Gary is not green.