premise: William has not visited Bloomington, Ruben has not visited Oakland, Felix has visited Gila Bend and if William has not visited Bloomington then Ricardo has visited Winston-Salem
hypothesis: Ricardo has not visited Winston-Salem