Erin is big. Erin is blue. Erin is cold. Erin is green. Erin is not rough. Erin is smart. Erin is young. Gary is big. Gary is blue. Gary is green. Gary is rough. Gary is smart. All rough things are big. If something is cold then it is big. If Gary is smart and Gary is green then Gary is rough. If something is cold and rough then it is blue. Rough, big things are smart. Smart things are green. If something is not rough then it is smart. If something is not smart then it is not blue.
Gary is cold.