premise: Terrance has not visited Rye, Jason has not visited Randolph, Walter has visited South Bend and if Jason has not visited Randolph then Wallace has visited Junction City
hypothesis: Wallace has not visited Junction City