premise: Martin has not visited Morristown, Ernest has visited South San Francisco, Johnnie has visited Laconia and if Ernest has visited South San Francisco then Wallace has visited Adams
hypothesis: Wallace has not visited Adams