Charlie is young. Erin is furry. Erin is rough. Gary is big. Gary is blue. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is young. Blue things are furry. Smart things are blue. If something is smart and rough then it is big. All young things are green. Rough, smart things are young. All young things are big. If Gary is smart then Gary is rough. Smart, rough things are young.
Harry is not blue.