premise: Fernando has not visited Alameda, Maurice has not visited Guilford, David has visited Natchez and if Maurice has not visited Guilford then Rafael has visited Central Falls
hypothesis: Rafael has not visited Central Falls