premise: Clarence has not visited Port Orford, Terrance has visited Santa Claus, Tommy has not visited Arlington and if Tommy has not visited Arlington then Lloyd has not visited Woodward
hypothesis: Lloyd has not visited Woodward