premise: Tony has not visited Tombstone, Stanley has not visited Claremont, Sergio has visited Tiverton and if Stanley has not visited Claremont then Maurice has not visited Johnstown
hypothesis: Maurice has not visited Johnstown