「「分解出来ないし売り上げ額でない」ということは間違っている」ものはある
fact1: もしその歩兵部隊がコンボイだとするとその取り得は魅しなくてまた覚え難くない fact2: その教体は貸し付ける fact3: もし仮になにかは貸し付けるししかも魅するとすればあの利用例は覚え難い fact4: 「「分解出来るしそれに売り上げ額であるということはない」ということは嘘な」物はある fact5: なにがしかの物は魅する fact6: その歩兵部隊は貸し付ける fact7: あの利用例はコンボイだ fact8: もし仮にあの利用例は倒立混合しないなら「あのリンパ節は分解出来ないしかつ売り上げ額であるということはない」ということは嘘だ fact9: もしある物が魅しないとしたらそれは倒立混合するかまたは貸し付けない fact10: その歩兵部隊は魅する fact11: あの娑婆は魅する fact12: 仮にあの利用例が覚え難いしまたコンボイだとすると倒立混合しない fact13: 仮にその取り得が倒立混合するかまたはそれが貸し付けないなら倒立混合する
fact6 & fact10 -> int1: その歩兵部隊は貸し付けるし魅する; int1 -> int2: 「貸し付けるしさらに魅する」ものはある; int2 & fact3 -> int3: あの利用例は覚え難い; int3 & fact7 -> int4: あの利用例は覚え難いしおまけにそれはコンボイだ; int4 & fact12 -> int5: あの利用例は倒立混合しない; int5 & fact8 -> int6: 「あのリンパ節は分解出来なくてかつ売り上げ額でない」ということは成り立つということはない; int6 -> hypothesis;
「その取り得は倒立混合する」ということは確かだ
fact15 -> int7: もしその取り得が魅しないとすれば倒立混合するかあるいは貸し付けないかまたはどちらもである;
$facts$ = fact1: もしその歩兵部隊がコンボイだとするとその取り得は魅しなくてまた覚え難くない fact2: その教体は貸し付ける fact3: もし仮になにかは貸し付けるししかも魅するとすればあの利用例は覚え難い fact4: 「「分解出来るしそれに売り上げ額であるということはない」ということは嘘な」物はある fact5: なにがしかの物は魅する fact6: その歩兵部隊は貸し付ける fact7: あの利用例はコンボイだ fact8: もし仮にあの利用例は倒立混合しないなら「あのリンパ節は分解出来ないしかつ売り上げ額であるということはない」ということは嘘だ fact9: もしある物が魅しないとしたらそれは倒立混合するかまたは貸し付けない fact10: その歩兵部隊は魅する fact11: あの娑婆は魅する fact12: 仮にあの利用例が覚え難いしまたコンボイだとすると倒立混合しない fact13: 仮にその取り得が倒立混合するかまたはそれが貸し付けないなら倒立混合する ; $hypothesis$ = 「「分解出来ないし売り上げ額でない」ということは間違っている」ものはある ; $proof$ = 
fact6 & fact10 -> int1: その歩兵部隊は貸し付けるし魅する; int1 -> int2: 「貸し付けるしさらに魅する」ものはある; int2 & fact3 -> int3: あの利用例は覚え難い; int3 & fact7 -> int4: あの利用例は覚え難いしおまけにそれはコンボイだ; int4 & fact12 -> int5: あの利用例は倒立混合しない; int5 & fact8 -> int6: 「あのリンパ節は分解出来なくてかつ売り上げ額でない」ということは成り立つということはない; int6 -> hypothesis; __PROVED__
事実1: もしその歩兵部隊がコンボイだとするとその取り得は魅しなくてまた覚え難くない
事実2: その教体は貸し付ける
事実3: もし仮になにかは貸し付けるししかも魅するとすればあの利用例は覚え難い
事実4: 「「分解出来るしそれに売り上げ額であるということはない」ということは嘘な」物はある
事実5: なにがしかの物は魅する
事実6: その歩兵部隊は貸し付ける
事実7: あの利用例はコンボイだ
事実8: もし仮にあの利用例は倒立混合しないなら「あのリンパ節は分解出来ないしかつ売り上げ額であるということはない」ということは嘘だ
事実9: もしある物が魅しないとしたらそれは倒立混合するかまたは貸し付けない
事実10: その歩兵部隊は魅する
事実11: あの娑婆は魅する
事実12: 仮にあの利用例が覚え難いしまたコンボイだとすると倒立混合しない
事実13: 仮にその取り得が倒立混合するかまたはそれが貸し付けないなら倒立混合する

仮説: 「「分解出来ないし売り上げ額でない」ということは間違っている」ものはある
1. 事実6と事実10から、推論1: "その歩兵部隊は貸し付けるし魅する"が導かれる
2. 推論1から、推論2: "「貸し付けるしさらに魅する」ものはある"が導かれる
3. 推論2と事実3から、推論3: "あの利用例は覚え難い"が導かれる
4. 推論3と事実7から、推論4: "あの利用例は覚え難いしおまけにそれはコンボイだ"が導かれる
5. 推論4と事実12から、推論5: "あの利用例は倒立混合しない"が導かれる
6. 推論5と事実8から、推論6: "「あのリンパ節は分解出来なくてかつ売り上げ額でない」ということは成り立つということはない"が導かれる
7. 推論6から、仮説が導かれる

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