premise: Jesus has not visited Norwood, Ramon has visited Saint Charles, Bill has not visited Massachusetts and if Bill has not visited Massachusetts then Dan has not visited Kingman
hypothesis: Dan has not visited Kingman