premise: Tom has not visited Durango, Melvin has visited South Dakota, Clayton has not visited Tombstone and if Clayton has not visited Tombstone then Brett has visited Fullerton
hypothesis: Brett has not visited Fullerton