premise: Theodore has not visited Johnson City, Herbert has not visited Brookings, Jerome has visited Webster City and if Theodore has not visited Johnson City then Joel has visited Haddonfield
hypothesis: Joel has not visited Haddonfield