premise: Wayne has not visited Fond du Lac, Tom has not visited Long Beach, Bradley has visited Dunkirk and if Tom has not visited Long Beach then Lawrence has not visited Hayward
hypothesis: Lawrence has not visited Hayward