Everybody who is not provably a customer is a clerk. Everybody who is not provably a clerk is a customer. Everybody who is not provably a worker is a manager. Everybody who is not provably a manager is a worker. Nobody who is not provably a clerk is important. Everybody who is not provably a worker is important. Every manager who is not provably healthy and who is a customer is healthy. John is a man.