premise: Lonnie has not visited Brookings, Bobby has visited Nashville, Clifford has not visited Stockton and if Clifford has not visited Stockton then Nathaniel has visited Philadelphia
hypothesis: Nathaniel has visited Philadelphia