premise: Hugh has not visited Wayne, Jason has visited South San Francisco, Bill has not visited Saint Johnsbury and if Bill has not visited Saint Johnsbury then Johnnie has visited Roswell
hypothesis: Johnnie has visited Roswell