premise: Joseph has not visited Middletown, Corey has not visited Corona, Jonathan has visited Worthington and if Joseph has visited Middletown then Marcus has visited Saint George
hypothesis: Marcus has visited Saint George