premise: Jonathan has not visited Phoenixville, Lawrence has not visited Pipestone, Albert has visited Tillamook and if Jonathan has not visited Phoenixville then Lester has visited Fitchburg
hypothesis: Lester has visited Fitchburg