premise: Julio has not visited Massillon, Gabriel has not visited East Lansing, Wade has visited Idaho City and if Gabriel has not visited East Lansing then Joshua has visited Fairfield
hypothesis: Joshua has not visited Fairfield