演绎证明造句