premise: Alfredo has not visited Neenah, Theodore has not visited Virginia Beach, Thomas has visited Gallipolis and if Theodore has visited Virginia Beach then Joe has visited Portsmouth
hypothesis: Joe has visited Portsmouth