Bob is smart. Charlie is blue. Erin is red. Gary is rough. Red things are blue. If something is blue then it is smart. If Charlie is smart and Charlie is quiet then Charlie is blue. If Gary is quiet then Gary is smart. Smart things are green. All blue things are nice.
Gary is not nice.