premise: Kenneth has not visited East Providence, Bill has not visited Fort Dodge, Leroy has visited Redwood City and if Kenneth has not visited East Providence then Ross has visited Marion
hypothesis: Ross has visited Marion