Dave is rough. Gary is cold. Gary is rough. If something is red and not blue then it is not smart. All red, cold things are white. White things are not furry. All smart things are cold. If something is not blue then it is rough. All cold, red things are white. If something is rough then it is cold. If Gary is not smart then Gary is red.
Gary is blue.