premise: Randy has not visited North Little Rock, Bobby has not visited San Luis Obispo, Dwayne has visited Port Washington and if Randy has not visited North Little Rock then Freddie has visited Estherville
hypothesis: Freddie has not visited Estherville