premise: Brett has not visited Westminster, Gerald has visited Fort Wayne, Walter has not visited Brookings and if Walter has not visited Brookings then Thomas has not visited Jackson
hypothesis: Thomas has not visited Jackson