もし「あの貨物確認情報は焼け落ちない」ということは本当だとすれば挙上する
fact1: 引き出し易くない物は悪戯する fact2: 仮にあの貨物確認情報が焼け落ちればそれは挙上する fact3: 仮にあの建築基準法は西市であるということはないとするとそれは焼け落ちる fact4: もしあるものが決め難くないとすればそれは茶房である fact5: もし仮に何らかの物は罹患し易くないとしたら「それはごつい」ということは成り立つ fact6: 仮に何らかの物が焼け落ちるということはないとしたらそれは挙上する fact7: 仮に何らかのものは焼け落ちるとすれば「挙上する」ということは事実だ fact8: あの貨物確認情報が睨むとしたらそれは挙上する fact9: もし仮にあの貨物確認情報が染め抜かないならば焼け落ちる fact10: なにかはオルメカでないとしたら「胎蔵する」ということは確かだ fact11: 仮になにかは能動輸送でないとすれば調べる fact12: 仮にあの貨物確認情報が抉り込まないとするとそれは挙上する
fact6 -> hypothesis;
もしあの貨物確認情報はオルメカでないとしたら胎蔵する
fact13 -> hypothesis;
$facts$ = fact1: 引き出し易くない物は悪戯する fact2: 仮にあの貨物確認情報が焼け落ちればそれは挙上する fact3: 仮にあの建築基準法は西市であるということはないとするとそれは焼け落ちる fact4: もしあるものが決め難くないとすればそれは茶房である fact5: もし仮に何らかの物は罹患し易くないとしたら「それはごつい」ということは成り立つ fact6: 仮に何らかの物が焼け落ちるということはないとしたらそれは挙上する fact7: 仮に何らかのものは焼け落ちるとすれば「挙上する」ということは事実だ fact8: あの貨物確認情報が睨むとしたらそれは挙上する fact9: もし仮にあの貨物確認情報が染め抜かないならば焼け落ちる fact10: なにかはオルメカでないとしたら「胎蔵する」ということは確かだ fact11: 仮になにかは能動輸送でないとすれば調べる fact12: 仮にあの貨物確認情報が抉り込まないとするとそれは挙上する ; $hypothesis$ = もし「あの貨物確認情報は焼け落ちない」ということは本当だとすれば挙上する ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 引き出し易くない物は悪戯する
事実2: 仮にあの貨物確認情報が焼け落ちればそれは挙上する
事実3: 仮にあの建築基準法は西市であるということはないとするとそれは焼け落ちる
事実4: もしあるものが決め難くないとすればそれは茶房である
事実5: もし仮に何らかの物は罹患し易くないとしたら「それはごつい」ということは成り立つ
事実6: 仮に何らかの物が焼け落ちるということはないとしたらそれは挙上する
事実7: 仮に何らかのものは焼け落ちるとすれば「挙上する」ということは事実だ
事実8: あの貨物確認情報が睨むとしたらそれは挙上する
事実9: もし仮にあの貨物確認情報が染め抜かないならば焼け落ちる
事実10: なにかはオルメカでないとしたら「胎蔵する」ということは確かだ
事実11: 仮になにかは能動輸送でないとすれば調べる
事実12: 仮にあの貨物確認情報が抉り込まないとするとそれは挙上する

仮説: もし「あの貨物確認情報は焼け落ちない」ということは本当だとすれば挙上する
1. 事実6から、仮説が導かれる

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