premise: Daniel has not visited Cadillac, Terrance has visited Natchitoches, Roberto has not visited Fort Valley and if Roberto has not visited Fort Valley then Leon has not visited Calais
hypothesis: Leon has not visited Calais