Bob is green. Charlie is blue. Gary is green. Green, rough things are white. If Gary is green then Gary is rough. If Gary is cold and Gary is young then Gary is blue. If something is green and cold then it is young. If Gary is round and Gary is young then Gary is blue. If something is white and round then it is blue. If Gary is white and Gary is blue then Gary is young. Blue things are round.
Bob is not cold.