premise: Angel has not visited White Springs, Patrick has visited Waimea, Micheal has not visited Swarthmore and if Micheal has not visited Swarthmore then John has not visited Wahpeton
hypothesis: John has not visited Wahpeton