premise: Walter has not visited Hastings, Jesus has visited Boca Raton, Dale has not visited West Bridgewater and if Dale has visited West Bridgewater then Theodore has visited Waterville
hypothesis: Theodore has visited Waterville