元朝姚燧在《寄征衣》“欲寄君衣君不还，不寄君衣君又寒；寄与不寄间，妾身千万难。”中描写了少妇思恋征夫的矛盾心理，该词运用了一个演绎推理，其推理形式可用公式表示为（）。