假言直言推理造句