premise: Franklin has not visited Petaluma, Frank has not visited Green River, Stanley has visited Tarrytown and if Franklin has not visited Petaluma then Miguel has not visited Niles
hypothesis: Miguel has not visited Niles