Original: Jefferson County is a county located in the U.S. state of Florida .
Simplified: Jefferson County is a county in the U.S. state of Florida .