premise: Jay has not visited Niles, Warren has visited Portsmouth, Phillip has visited Monroeville and if Phillip has visited Monroeville then Francis has visited Jacksonville
hypothesis: Francis has not visited Jacksonville