premise: Jessie has not visited Prairie du Chien, Hector has not visited Wheaton, Wade has visited Saint Augustine and if Jessie has not visited Prairie du Chien then Mitchell has visited Columbus
hypothesis: Mitchell has not visited Columbus