premise: Andre has not visited East Haven, Johnnie has visited McMinnville, Francisco has not visited Petersburg and if Francisco has visited Petersburg then Todd has visited Binghamton
hypothesis: Todd has visited Binghamton