premise: Jaime has not visited Stamford, Jonathan has visited Gastonia, Eduardo has not visited Newport and if Eduardo has not visited Newport then Norman has not visited Mansfield
hypothesis: Norman has not visited Mansfield