premise: Benjamin has not visited Meridian, Alex has not visited International Falls, Tyler has visited Park Forest and if Alex has visited International Falls then Gabriel has visited Orange
hypothesis: Gabriel has visited Orange