premise: Randy has not visited Springfield, Clifton has visited Saint Petersburg, Greg has not visited Ogden and if Greg has not visited Ogden then Kenneth has not visited Lebanon
hypothesis: Kenneth has not visited Lebanon