premise: Alexander has not visited Shelbyville, Francisco has not visited Potsdam, Steven has visited Saint Ignace and if Francisco has visited Potsdam then Tyrone has visited Pampa
hypothesis: Tyrone has not visited Pampa