premise: Francisco has not visited Waterville, Jared has not visited Kinston, Lewis has visited Marquette and if Francisco has not visited Waterville then Rene has visited Iowa City
hypothesis: Rene has not visited Iowa City