この升は現物出資する
fact1: この同機はディーブでない fact2: もしこの同機はディーブでないとしたら「この升は手広いし勇ましい」ということは成り立たない fact3: もし仮になにがしかのものは採用出来ないならば「調べ様であるけれどエロ小説でない」ということは間違っている fact4: もしもなにかは現物出資しないけどそれがフォローアップするとすれば回避するということはない fact5: その毎週末は採用出来る fact6: もし仮にその陸軍首脳部は回避しないとしたら「「あの当該公文書はエロ小説でない一方でそれは調べ様である」ということは誤りだ」ということは偽でない fact7: もしその陸軍首脳部がエロ小説であるしそれは調べ様であるとするとそれは採用出来るということはない fact8: このサイト構築はディーブでないとすると「この同機はディーブでない」ということは成り立つ fact9: もし仮に何かはフォローアップしないとすればそれは現物出資する fact10: その陸軍首脳部は採用出来る fact11: 仮にその陸軍首脳部が回避するけれどエロ小説でないならばあの升はフォローアップするということはない fact12: 「何かは手広いけど回避するということはない」ということは成り立つということはないとしたら回避する fact13: 「「調べ様だしさらにエロ小説でない」ということは嘘である」物があるならその親和図法は回避する fact14: このサイト構築は売り込むけれど加工場であるということはない fact15: この升は調べ様だ fact16: もしもこのサイト構築は売り込むけれど加工場でないとしたらそれはディーブであるということはない fact17: あの斬奸状はエロ小説でない fact18: もし何かは回避しないならばそれは調べ様でまた採用出来る fact19: 仮になにがしかの物がフォローアップすればそれは回避しない fact20: 「その陸軍首脳部は手広い一方で回避しない」ということは誤っている fact21: 仮にその陸軍首脳部がフォローアップするとするとこの升はフォローアップする fact22: この同機がディーブだということはないとするとそれは手広い fact23: 手広くない物は現物出資するということはないけれどフォローアップする fact24: その陸軍首脳部は調べ様である
void -> assump1: 以下のように仮定する。その陸軍首脳部はエロ小説である; assump1 & fact24 -> int1: その陸軍首脳部はエロ小説であるし調べ様だ; int1 & fact7 -> int2: その陸軍首脳部は採用出来ない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: その陸軍首脳部はエロ小説だということはない; fact12 -> int5: 仮に「その陸軍首脳部は手広いがしかし回避するということはない」ということは間違いならば「回避しない」ということは成り立たない; int5 & fact20 -> int6: その陸軍首脳部は回避する; int4 & int6 -> int7: その陸軍首脳部は回避するけどそれはエロ小説でない; int7 & fact11 -> int8: この升はフォローアップしない; fact9 -> int9: この升がフォローアップしないならばそれは現物出資する; int8 & int9 -> hypothesis;
あの当該公文書は採用出来る
fact25 -> int10: もし仮にその陸軍首脳部は現物出資するということはないけれどフォローアップするとすると回避しない; fact31 -> int11: もしもその陸軍首脳部が手広くないならばそれは現物出資しなくておまけにフォローアップする; fact26 & fact28 -> int12: 「このサイト構築はディーブでない」ということは成り立つ; fact29 & int12 -> int13: この同機はディーブでない; fact30 & int13 -> int14: 「この升は手広くて加えて勇ましい」ということは確かでない; int14 -> int15: 「「手広いし勇ましい」ということは嘘な」ものはある;
$facts$ = fact1: この同機はディーブでない fact2: もしこの同機はディーブでないとしたら「この升は手広いし勇ましい」ということは成り立たない fact3: もし仮になにがしかのものは採用出来ないならば「調べ様であるけれどエロ小説でない」ということは間違っている fact4: もしもなにかは現物出資しないけどそれがフォローアップするとすれば回避するということはない fact5: その毎週末は採用出来る fact6: もし仮にその陸軍首脳部は回避しないとしたら「「あの当該公文書はエロ小説でない一方でそれは調べ様である」ということは誤りだ」ということは偽でない fact7: もしその陸軍首脳部がエロ小説であるしそれは調べ様であるとするとそれは採用出来るということはない fact8: このサイト構築はディーブでないとすると「この同機はディーブでない」ということは成り立つ fact9: もし仮に何かはフォローアップしないとすればそれは現物出資する fact10: その陸軍首脳部は採用出来る fact11: 仮にその陸軍首脳部が回避するけれどエロ小説でないならばあの升はフォローアップするということはない fact12: 「何かは手広いけど回避するということはない」ということは成り立つということはないとしたら回避する fact13: 「「調べ様だしさらにエロ小説でない」ということは嘘である」物があるならその親和図法は回避する fact14: このサイト構築は売り込むけれど加工場であるということはない fact15: この升は調べ様だ fact16: もしもこのサイト構築は売り込むけれど加工場でないとしたらそれはディーブであるということはない fact17: あの斬奸状はエロ小説でない fact18: もし何かは回避しないならばそれは調べ様でまた採用出来る fact19: 仮になにがしかの物がフォローアップすればそれは回避しない fact20: 「その陸軍首脳部は手広い一方で回避しない」ということは誤っている fact21: 仮にその陸軍首脳部がフォローアップするとするとこの升はフォローアップする fact22: この同機がディーブだということはないとするとそれは手広い fact23: 手広くない物は現物出資するということはないけれどフォローアップする fact24: その陸軍首脳部は調べ様である ; $hypothesis$ = この升は現物出資する ; $proof$ = 
void -> assump1: 以下のように仮定する。その陸軍首脳部はエロ小説である; assump1 & fact24 -> int1: その陸軍首脳部はエロ小説であるし調べ様だ; int1 & fact7 -> int2: その陸軍首脳部は採用出来ない; int2 & fact10 -> int3: これは矛盾である; [assump1] & int3 -> int4: その陸軍首脳部はエロ小説だということはない; fact12 -> int5: 仮に「その陸軍首脳部は手広いがしかし回避するということはない」ということは間違いならば「回避しない」ということは成り立たない; int5 & fact20 -> int6: その陸軍首脳部は回避する; int4 & int6 -> int7: その陸軍首脳部は回避するけどそれはエロ小説でない; int7 & fact11 -> int8: この升はフォローアップしない; fact9 -> int9: この升がフォローアップしないならばそれは現物出資する; int8 & int9 -> hypothesis; __PROVED__
事実1: この同機はディーブでない
事実2: もしこの同機はディーブでないとしたら「この升は手広いし勇ましい」ということは成り立たない
事実3: もし仮になにがしかのものは採用出来ないならば「調べ様であるけれどエロ小説でない」ということは間違っている
事実4: もしもなにかは現物出資しないけどそれがフォローアップするとすれば回避するということはない
事実5: その毎週末は採用出来る
事実6: もし仮にその陸軍首脳部は回避しないとしたら「「あの当該公文書はエロ小説でない一方でそれは調べ様である」ということは誤りだ」ということは偽でない
事実7: もしその陸軍首脳部がエロ小説であるしそれは調べ様であるとするとそれは採用出来るということはない
事実8: このサイト構築はディーブでないとすると「この同機はディーブでない」ということは成り立つ
事実9: もし仮に何かはフォローアップしないとすればそれは現物出資する
事実10: その陸軍首脳部は採用出来る
事実11: 仮にその陸軍首脳部が回避するけれどエロ小説でないならばあの升はフォローアップするということはない
事実12: 「何かは手広いけど回避するということはない」ということは成り立つということはないとしたら回避する
事実13: 「「調べ様だしさらにエロ小説でない」ということは嘘である」物があるならその親和図法は回避する
事実14: このサイト構築は売り込むけれど加工場であるということはない
事実15: この升は調べ様だ
事実16: もしもこのサイト構築は売り込むけれど加工場でないとしたらそれはディーブであるということはない
事実17: あの斬奸状はエロ小説でない
事実18: もし何かは回避しないならばそれは調べ様でまた採用出来る
事実19: 仮になにがしかの物がフォローアップすればそれは回避しない
事実20: 「その陸軍首脳部は手広い一方で回避しない」ということは誤っている
事実21: 仮にその陸軍首脳部がフォローアップするとするとこの升はフォローアップする
事実22: この同機がディーブだということはないとするとそれは手広い
事実23: 手広くない物は現物出資するということはないけれどフォローアップする
事実24: その陸軍首脳部は調べ様である

仮説: この升は現物出資する
1. 仮定1: 以下のように仮定する。その陸軍首脳部はエロ小説である
2. 仮定1と事実24から、推論1: "その陸軍首脳部はエロ小説であるし調べ様だ"が導かれる
3. 推論1と事実7から、推論2: "その陸軍首脳部は採用出来ない"が導かれる
4. 推論2と事実10から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その陸軍首脳部はエロ小説だということはない"が導かれる
6. 事実12から、推論5: "仮に「その陸軍首脳部は手広いがしかし回避するということはない」ということは間違いならば「回避しない」ということは成り立たない"が導かれる
7. 推論5と事実20から、推論6: "その陸軍首脳部は回避する"が導かれる
8. 推論4と推論6から、推論7: "その陸軍首脳部は回避するけどそれはエロ小説でない"が導かれる
9. 推論7と事実11から、推論8: "この升はフォローアップしない"が導かれる
10. 事実9から、推論9: "この升がフォローアップしないならばそれは現物出資する"が導かれる
11. 推論8と推論9から、仮説が導かれる

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