Charlie is big. Charlie is red. Charlie is round. Charlie is not smart. Charlie is young. Dave is big. Dave is young. Gary is red. Harry is big. Harry is nice. Red, blue things are nice. If something is young then it is blue. Nice, round things are red. If Gary is big and Gary is red then Gary is young. If something is not smart then it is big. If Gary is big then Gary is blue.
Gary is not nice.