假说演绎法例子