根据真值模态对当关系，从“手术可能不会成功”可推出（ ）。