premise: Tyrone has not visited Miami, Kenneth has not visited Danvers, Lonnie has visited Fort Valley and if Tyrone has not visited Miami then Christopher has visited Madison
hypothesis: Christopher has not visited Madison