「仮に「高めないし落ち易くない」ということは事実と異なればチタン合金である」ものはある
fact1: もし「その展示物は高めるということはなくてしかも落ち易いということはない」ということは成り立たないとするとチタン合金だ fact2: もし仮に「あの螺子は存続すらなくて落ち易くない」ということは偽だとすれば温い
fact1 -> hypothesis;
$facts$ = fact1: もし「その展示物は高めるということはなくてしかも落ち易いということはない」ということは成り立たないとするとチタン合金だ fact2: もし仮に「あの螺子は存続すらなくて落ち易くない」ということは偽だとすれば温い ; $hypothesis$ = 「仮に「高めないし落ち易くない」ということは事実と異なればチタン合金である」ものはある ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: もし「その展示物は高めるということはなくてしかも落ち易いということはない」ということは成り立たないとするとチタン合金だ
事実2: もし仮に「あの螺子は存続すらなくて落ち易くない」ということは偽だとすれば温い

仮説: 「仮に「高めないし落ち易くない」ということは事実と異なればチタン合金である」ものはある
1. 事実1から、仮説が導かれる

よって、仮説が証明されました。