premise: Karl has not visited Decatur, Shawn has visited Port Angeles, Jack has not visited Titusville and if Jack has visited Titusville then Vincent has visited Junction City
hypothesis: Vincent has not visited Junction City