premise: Jorge has visited Boca Raton, Darren has not visited Monroeville, Joshua has visited Council Grove and if Jorge has visited Boca Raton then Dale has visited Willingboro
hypothesis: Dale has not visited Willingboro