premise: Alex has not visited Roanoke, Ramon has not visited Warner Robins, Virgil has visited Belmont and if Alex has not visited Roanoke then Benjamin has visited Watkins Glen
hypothesis: Benjamin has not visited Watkins Glen