premise: Christian has not visited Thermopolis, Harry has not visited Fitchburg, Jerome has visited Holdenville and if Christian has visited Thermopolis then Nelson has visited Hanover
hypothesis: Nelson has visited Hanover