Bob is cold. Dave is big. Erin is rough. Erin is round. Erin is smart. Gary is green. Gary is round. If something is blue then it is smart. Round, cold things are smart. Smart things are green. Green things are rough. All green, rough things are round. All cold things are blue. If Gary is rough and Gary is round then Gary is cold.
Gary is blue.