premise: Perry has not visited Honaunau, Angel has not visited Pennsylvania, Virgil has visited Troy and if Angel has not visited Pennsylvania then Tyrone has not visited San Clemente
hypothesis: Tyrone has not visited San Clemente