premise: Mathew has not visited Cordova, Johnnie has not visited Pasadena, Rafael has visited Passaic and if Mathew has not visited Cordova then Christian has visited Savannah
hypothesis: Christian has not visited Savannah