premise: Harry has not visited Leavenworth, Alexander has not visited Cape Coral, Howard has visited Elyria and if Harry has not visited Leavenworth then Terrance has visited Fairfield
hypothesis: Terrance has not visited Fairfield