あの配給は加速する
fact1: もし仮に「あの配給は習合するかまたは加速するかもしくはどちらもだ」ということは成り立つとしたらあの菜箸は習合しない fact2: 仮に何かはプライベートドクターならば「習合しないし着陸出来る」ということは誤りである fact3: 「あの配給は帰国出来るけれど狙い難いということはない」ということは偽だ fact4: もしも「あの配給は帰国出来る一方で狙い難くない」ということは成り立つということはないとしたらそれは加速する fact5: 合併し易くない物は着陸出来るし更にプライベートドクターである fact6: もし仮に何らかの物は習合しないなら「狙い難いし更にそれは得難くない」ということは間違いだ fact7: もしも「なんらかの物は着陸出来る」ということは事実であるならば習合する
fact4 & fact3 -> hypothesis;
fact4 & fact3 -> hypothesis;
「あの菜箸は狙い難い一方で得難くない」ということは誤っている
fact10 -> int1: 仮にあの菜箸は習合しないなら「それは狙い難いし得難くない」ということは成り立たない; fact11 -> int2: 仮にあの配給が着陸出来るとしたらそれは習合する; fact8 -> int3: あの配給が合併し易いということはないとすればそれは着陸出来るしそれにプライベートドクターだ;
$facts$ = fact1: もし仮に「あの配給は習合するかまたは加速するかもしくはどちらもだ」ということは成り立つとしたらあの菜箸は習合しない fact2: 仮に何かはプライベートドクターならば「習合しないし着陸出来る」ということは誤りである fact3: 「あの配給は帰国出来るけれど狙い難いということはない」ということは偽だ fact4: もしも「あの配給は帰国出来る一方で狙い難くない」ということは成り立つということはないとしたらそれは加速する fact5: 合併し易くない物は着陸出来るし更にプライベートドクターである fact6: もし仮に何らかの物は習合しないなら「狙い難いし更にそれは得難くない」ということは間違いだ fact7: もしも「なんらかの物は着陸出来る」ということは事実であるならば習合する ; $hypothesis$ = あの配給は加速する ; $proof$ = 
fact4 & fact3 -> hypothesis; __PROVED__
事実1: もし仮に「あの配給は習合するかまたは加速するかもしくはどちらもだ」ということは成り立つとしたらあの菜箸は習合しない
事実2: 仮に何かはプライベートドクターならば「習合しないし着陸出来る」ということは誤りである
事実3: 「あの配給は帰国出来るけれど狙い難いということはない」ということは偽だ
事実4: もしも「あの配給は帰国出来る一方で狙い難くない」ということは成り立つということはないとしたらそれは加速する
事実5: 合併し易くない物は着陸出来るし更にプライベートドクターである
事実6: もし仮に何らかの物は習合しないなら「狙い難いし更にそれは得難くない」ということは間違いだ
事実7: もしも「なんらかの物は着陸出来る」ということは事実であるならば習合する

仮説: あの配給は加速する
1. 事実4と事実3から、仮説が導かれる

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