premise: Douglas has not visited Santa Fe, Micheal has not visited Barrington, Danny has visited Monmouth and if Douglas has not visited Santa Fe then Ricky has not visited Colorado Springs
hypothesis: Ricky has not visited Colorado Springs