premise: Ryan has not visited Beaverton, Johnny has not visited Demopolis, Tyler has visited Laguna Beach and if Ryan has not visited Beaverton then Nathaniel has visited Massillon
hypothesis: Nathaniel has not visited Massillon