Anne is blue. Anne is furry. Anne is red. Anne is round. Anne is young. Bob is blue. Bob is green. Bob is round. Bob is white. Gary is blue. Gary is furry. Gary is young. Harry is blue. Harry is green. Harry is round. All blue things are green. If Gary is young then Gary is blue. All white, green things are blue. If something is green then it is red. Blue, green things are young. If something is blue then it is white. All round, red things are blue. Red, green things are round.
Gary is not round.