premise: Jaime has not visited Dayton, Roberto has not visited West Palm Beach, Ralph has visited Eastpointe and if Roberto has visited West Palm Beach then Terry has visited Trinidad
hypothesis: Terry has not visited Trinidad