premise: Warren has not visited East Liverpool, Erik has not visited Seneca Falls, Edwin has visited Lakehurst and if Warren has visited East Liverpool then Joe has visited Kingston
hypothesis: Joe has not visited Kingston