premise: Jared has not visited Corpus Christi, Leon has not visited Everett, Sergio has visited Miami and if Jared has not visited Corpus Christi then Mario has not visited Tiverton
hypothesis: Mario has not visited Tiverton