premise: Tyler has not visited Hempstead, Albert has not visited Port Gibson, Ronnie has visited Lewes and if Albert has not visited Port Gibson then Maurice has visited Brookings
hypothesis: Maurice has not visited Brookings