premise: Joe has not visited Edmond, Steve has visited San Bernardino, Floyd has not visited Brighton and if Floyd has not visited Brighton then Clayton has visited Martins Ferry
hypothesis: Clayton has not visited Martins Ferry