premise: Dennis has visited Hammondsport, Julian has not visited East Moline, Brian has visited Yellow Springs and if Dennis has visited Hammondsport then Daryl has visited Batesville
hypothesis: Daryl has not visited Batesville