premise: Bruce has not visited Niagara Falls, Shawn has visited Steubenville, Zachary has not visited Columbus and if Zachary has visited Columbus then Alexander has visited Mission
hypothesis: Alexander has not visited Mission