premise: Ryan has not visited Hot Springs, Robert has visited Alamosa, Billy has not visited Bossier City and if Billy has visited Bossier City then Ricardo has visited Pass Christian
hypothesis: Ricardo has not visited Pass Christian