premise: Renee has only visited Fitchburg, Gloversville, Cody, Tiverton, Merced, Sunnyvale, Buena Park, Laurel, Madison, Cocoa-Rockledge, Warren, Tillamook, Mount Pleasant, Lake Wales, Topeka, East Lansing and Danbury
hypothesis: Claudia didn't visit Tillamook