premise: Adrian has not visited Lakeview, Howard has visited West Lafayette, Gene has not visited New Milford and if Gene has not visited New Milford then Casey has visited Barbourville
hypothesis: Casey has not visited Barbourville