premise: Rene has not visited East Chicago, Willie has not visited Arlington, Dennis has visited Wichita Falls and if Rene has not visited East Chicago then Ronald has visited International Falls
hypothesis: Ronald has not visited International Falls