Charlie is rough. Erin is red. Fiona is green. Fiona is nice. Fiona is young. Gary is furry. Gary is green. Gary is nice. Gary is red. Gary is rough. Gary is young. If Gary is blue and Gary is rough then Gary is nice. All furry people are rough. Red, blue people are furry. All green people are blue. If Gary is green then Gary is nice. All red people are green. All green, rough people are young. If Fiona is blue then Fiona is furry.
Gary is not blue.