「その十六ビット処理系は噛み合わせらない」ということは成り立つ
fact1: その十六ビット処理系は見過ごし難いしさらに分散投資する fact2: 仮にその十六ビット処理系が差配するとすれば弄り始める fact3: その十六ビット処理系は差配する fact4: その十六ビット処理系は見過ごし難い fact5: もし仮にハイリスクが賢いとしたらそれは蒸し暑くない fact6: もし仮にあるものは差配するということはないとすると「あの申命記は弄り始めないがそれはモニターする」ということは誤りである fact7: もし仮に「あるものは影響され易くて差配する」ということは確かでないならそれは差配しない fact8: もしも「「弄り始めないがモニターする」ということは成り立たない」物があればその参謀長は弄り始める fact9: その十六ビット処理系は通信添削である fact10: 仮にこの中陣は実感出来るかあるいは曲面でないかまたはどちらもだとしたら日露戦争後でない fact11: 仮にこの中陣は日露戦争後でないとすると「それは影響され易くて差配する」ということは成り立たない fact12: なにかは分散投資するとすると「見過ごし難くないし噛み合わせらない」ということは事実と異なる fact13: この中陣は実感出来るかもしくは曲面でない fact14: もし仮に何かは分散投資するしおまけにそれは弄り始めるとしたら「噛み合わせらない」ということは本当だ fact15: 御悪いものは通り越すとしたら「申し立てない」ということは成り立つ fact16: その参謀長は弄り始めるとしたら「あの情報技術利用は分散投資する」ということは本当である fact17: もしなにかは分散投資しないとしたらそれはだらし無くて見過ごし難い fact18: その十六ビット処理系はリピートするしさらにそれはジュリスト平成九年度・重要判例解説である fact19: もしあの情報技術利用が差配するかもしくはモニターするとすればその十六ビット処理系は差配しない fact20: あのカンファレンスは差配する
fact1 -> int1: その十六ビット処理系は分散投資する; fact2 & fact3 -> int2: その十六ビット処理系は弄り始める; int1 & int2 -> int3: その十六ビット処理系は分散投資するしさらに弄り始める; fact14 -> int4: もし仮にその十六ビット処理系が分散投資するしそれが弄り始めるとすると噛み合わせるということはない; int3 & int4 -> hypothesis;
その十六ビット処理系は噛み合わせる
fact27 -> int5: あの情報技術利用は分散投資するとすれば「それは見過ごし難くないしそれは噛み合わせらない」ということは偽である; fact28 -> int6: 仮に「この中陣は影響され易いししかも差配する」ということは誤りなら差配しない; fact23 & fact22 -> int7: この中陣は日露戦争後でない; fact21 & int7 -> int8: 「この中陣は影響され易くてそれは差配する」ということは確かであるということはない; int6 & int8 -> int9: 「この中陣は差配しない」ということは事実である; int9 -> int10: 「差配しない」物はある; int10 & fact25 -> int11: 「あの申命記は弄り始めないけれどモニターする」ということは偽だ; int11 -> int12: 「「弄り始めないけれどモニターする」ということは偽な」物はある; int12 & fact24 -> int13: その参謀長は弄り始める; fact26 & int13 -> int14: あの情報技術利用は分散投資する; int5 & int14 -> int15: 「あの情報技術利用は見過ごし難いということはなくてしかも噛み合わせらない」ということは成り立たない; int15 -> int16: 「「見過ごし難いということはないし噛み合わせらない」ということは成り立たない」ものはある;
$facts$ = fact1: その十六ビット処理系は見過ごし難いしさらに分散投資する fact2: 仮にその十六ビット処理系が差配するとすれば弄り始める fact3: その十六ビット処理系は差配する fact4: その十六ビット処理系は見過ごし難い fact5: もし仮にハイリスクが賢いとしたらそれは蒸し暑くない fact6: もし仮にあるものは差配するということはないとすると「あの申命記は弄り始めないがそれはモニターする」ということは誤りである fact7: もし仮に「あるものは影響され易くて差配する」ということは確かでないならそれは差配しない fact8: もしも「「弄り始めないがモニターする」ということは成り立たない」物があればその参謀長は弄り始める fact9: その十六ビット処理系は通信添削である fact10: 仮にこの中陣は実感出来るかあるいは曲面でないかまたはどちらもだとしたら日露戦争後でない fact11: 仮にこの中陣は日露戦争後でないとすると「それは影響され易くて差配する」ということは成り立たない fact12: なにかは分散投資するとすると「見過ごし難くないし噛み合わせらない」ということは事実と異なる fact13: この中陣は実感出来るかもしくは曲面でない fact14: もし仮に何かは分散投資するしおまけにそれは弄り始めるとしたら「噛み合わせらない」ということは本当だ fact15: 御悪いものは通り越すとしたら「申し立てない」ということは成り立つ fact16: その参謀長は弄り始めるとしたら「あの情報技術利用は分散投資する」ということは本当である fact17: もしなにかは分散投資しないとしたらそれはだらし無くて見過ごし難い fact18: その十六ビット処理系はリピートするしさらにそれはジュリスト平成九年度・重要判例解説である fact19: もしあの情報技術利用が差配するかもしくはモニターするとすればその十六ビット処理系は差配しない fact20: あのカンファレンスは差配する ; $hypothesis$ = 「その十六ビット処理系は噛み合わせらない」ということは成り立つ ; $proof$ = 
fact1 -> int1: その十六ビット処理系は分散投資する; fact2 & fact3 -> int2: その十六ビット処理系は弄り始める; int1 & int2 -> int3: その十六ビット処理系は分散投資するしさらに弄り始める; fact14 -> int4: もし仮にその十六ビット処理系が分散投資するしそれが弄り始めるとすると噛み合わせるということはない; int3 & int4 -> hypothesis; __PROVED__
事実1: その十六ビット処理系は見過ごし難いしさらに分散投資する
事実2: 仮にその十六ビット処理系が差配するとすれば弄り始める
事実3: その十六ビット処理系は差配する
事実4: その十六ビット処理系は見過ごし難い
事実5: もし仮にハイリスクが賢いとしたらそれは蒸し暑くない
事実6: もし仮にあるものは差配するということはないとすると「あの申命記は弄り始めないがそれはモニターする」ということは誤りである
事実7: もし仮に「あるものは影響され易くて差配する」ということは確かでないならそれは差配しない
事実8: もしも「「弄り始めないがモニターする」ということは成り立たない」物があればその参謀長は弄り始める
事実9: その十六ビット処理系は通信添削である
事実10: 仮にこの中陣は実感出来るかあるいは曲面でないかまたはどちらもだとしたら日露戦争後でない
事実11: 仮にこの中陣は日露戦争後でないとすると「それは影響され易くて差配する」ということは成り立たない
事実12: なにかは分散投資するとすると「見過ごし難くないし噛み合わせらない」ということは事実と異なる
事実13: この中陣は実感出来るかもしくは曲面でない
事実14: もし仮に何かは分散投資するしおまけにそれは弄り始めるとしたら「噛み合わせらない」ということは本当だ
事実15: 御悪いものは通り越すとしたら「申し立てない」ということは成り立つ
事実16: その参謀長は弄り始めるとしたら「あの情報技術利用は分散投資する」ということは本当である
事実17: もしなにかは分散投資しないとしたらそれはだらし無くて見過ごし難い
事実18: その十六ビット処理系はリピートするしさらにそれはジュリスト平成九年度・重要判例解説である
事実19: もしあの情報技術利用が差配するかもしくはモニターするとすればその十六ビット処理系は差配しない
事実20: あのカンファレンスは差配する

仮説: 「その十六ビット処理系は噛み合わせらない」ということは成り立つ
1. 事実1から、推論1: "その十六ビット処理系は分散投資する"が導かれる
2. 事実2と事実3から、推論2: "その十六ビット処理系は弄り始める"が導かれる
3. 推論1と推論2から、推論3: "その十六ビット処理系は分散投資するしさらに弄り始める"が導かれる
4. 事実14から、推論4: "もし仮にその十六ビット処理系が分散投資するしそれが弄り始めるとすると噛み合わせるということはない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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