premise: Tommy has not visited Auburn, Franklin has not visited Florence, Jeffrey has visited Ypsilanti and if Franklin has not visited Florence then Wayne has not visited Ketchikan
hypothesis: Wayne has not visited Ketchikan