premise: Calvin has not visited Johnson City, Erik has visited East Lansing, Leon has not visited Buffalo and if Leon has not visited Buffalo then Leslie has not visited Watervliet
hypothesis: Leslie has not visited Watervliet