premise: Daniel has not visited Appleton, Edgar has not visited Warner Robins, Benjamin has visited Annapolis and if Edgar has not visited Warner Robins then Jack has visited Steubenville
hypothesis: Jack has not visited Steubenville