premise: Christian has visited International Falls, Jay has not visited Hartford, Luis has visited Collinsville and if Christian has visited International Falls then Christopher has visited San Antonio
hypothesis: Christopher has visited San Antonio