premise: Dave has not visited Fitzgerald, Lawrence has not visited Saint Martinville, Wesley has visited Northampton and if Dave has not visited Fitzgerald then Ramon has visited Malibu
hypothesis: Ramon has not visited Malibu