premise: Sharon has visited De Smet, Harmony, Alexander City, Oceanside, Harrodsburg, Bemidji, Rhinelander, Lock Haven, Owensboro, Littleton, Sun Valley, Bardstown, Manitowoc, Columbia, Haddonfield, Kapaa, Marysville, Breckenridge, Poughkeepsie, Belleville, Vandalia, Charlevoix and Las Cruces
hypothesis: Sharon has visited less than twenty-two places