演绎推理造句