premise: Jeff has visited Rock Hill, Marvin has not visited Biloxi, Bernard has visited Central Falls and if Jeff has visited Rock Hill then Frederick has visited Colorado Springs
hypothesis: Frederick has visited Colorado Springs