premise: Tyler has not visited Michigan City, Cory has visited East Chicago, Andre has not visited North College Hill and if Andre has not visited North College Hill then Frank has visited Troy
hypothesis: Frank has visited Troy