墨子用于推理的工具是他提出的“三表法”，包括（）、（）和（）。