构造下列推理的证明。如果他是侦探，他必精通逻辑推理。如果他不是清洁工，他必是侦探。他逻辑推理能力差。所以他是清洁工。