premise: Leon has not visited Daly City, Adrian has visited West Hartford, Gilbert has not visited Saint Charles and if Gilbert has visited Saint Charles then Warren has visited Port Lavaca
hypothesis: Warren has not visited Port Lavaca