premise: Jeffrey has not visited Marion, Alexander has visited Hammond, Clifford has not visited Holly Springs and if Clifford has not visited Holly Springs then Tyrone has visited Boothbay Harbor
hypothesis: Tyrone has visited Boothbay Harbor