premise: Justin has not visited Mountain View, Russell has not visited Keyser, Randall has visited Merced and if Justin has not visited Mountain View then Mitchell has not visited Iowa City
hypothesis: Mitchell has not visited Iowa City