premise: Dean has not visited Middletown, Francisco has not visited East Saint Louis, Seth has visited Fillmore and if Francisco has visited East Saint Louis then Pedro has visited Battle Creek
hypothesis: Pedro has not visited Battle Creek