premise: Travis has not visited Lock Haven, Bill has not visited Artesia, Sean has visited Phoenixville and if Travis has not visited Lock Haven then Javier has visited Maryville
hypothesis: Javier has not visited Maryville