premise: Cathy has visited Piqua, Harrisburg, Holland, Arkansas City, Malibu, Taos, Laie, Douglas, Phoenix, Berlin, Blytheville, Sault Sainte Marie, Wyandotte, Marblehead, Smyrna, Seymour, Boone, Elko, Everett, Texas City, Orange, Ruston, Wilkes-Barre, Nashville, Oyster Bay, Petersburg, Bound Brook, Presque Isle, Fredericksburg, Fort Lee and Helena
hypothesis: Cathy has visited less than thirty places