premise: Ryan has not visited Raleigh, Christopher has not visited Lakeview, Leslie has visited Iowa City and if Christopher has visited Lakeview then Patrick has visited Flagstaff
hypothesis: Patrick has visited Flagstaff