premise: Tyrone has not visited Saint Joseph, Felix has not visited Fitzgerald, Zachary has visited Marinette and if Felix has visited Fitzgerald then Jason has visited Tuscumbia
hypothesis: Jason has not visited Tuscumbia