Anne is blue. Anne is furry. Anne is red. Anne is round. Anne is young. Charlie is red. Charlie is rough. Gary is blue. Gary is green. Gary is red. Gary is round. Gary is young. Green things are blue. If something is furry then it is round. All round things are rough. All blue, young things are round. Green, furry things are red. If Charlie is young and Charlie is rough then Charlie is blue. Rough things are furry. If Gary is round and Gary is rough then Gary is young.
Gary is not blue.