逻辑推理式的歇后语