premise: Virgil has not visited Chautauqua, Victor has not visited Largo, Gerald has visited Kenosha and if Virgil has not visited Chautauqua then Douglas has visited East Aurora
hypothesis: Douglas has not visited East Aurora