premise: Scott has not visited Mentor, Reginald has not visited Jacksonville, Milton has visited Payson and if Reginald has visited Jacksonville then Ralph has visited Saint Ignace
hypothesis: Ralph has visited Saint Ignace