premise: Thomas has not visited Kalispell, Jaime has not visited North Las Vegas, Albert has visited Danville and if Thomas has visited Kalispell then Rick has visited Ocean Springs
hypothesis: Rick has visited Ocean Springs