premise: Jason has not visited Bellingham, Jerry has not visited Warren, Aaron has visited Saint Louis and if Jerry has not visited Warren then Christopher has visited Lake Havasu City
hypothesis: Christopher has not visited Lake Havasu City