premise: Terrance has not visited Farmington, Michael has not visited McPherson, Leonard has visited Bedford and if Michael has visited McPherson then Norman has visited Chelmsford
hypothesis: Norman has not visited Chelmsford