premise: Steven has not visited Hattiesburg, Lonnie has not visited Virginia City, Maurice has visited Montrose and if Steven has not visited Hattiesburg then Lance has visited Willingboro
hypothesis: Lance has not visited Willingboro