Bob is blue. Charlie is cold. Gary is green. All cold people are quiet. If someone is green then they are kind. If Gary is blue and Gary is cold then Gary is big. Big people are blue. All blue people are quiet. If Gary is kind then Gary is cold.
Bob is not blue.