premise: Jaime has not visited Mineola, Roberto has not visited Charlevoix, Alan has visited Arkadelphia and if Roberto has not visited Charlevoix then Eric has visited Willingboro
hypothesis: Eric has not visited Willingboro