あの鬼将校は反芻する
fact1: 「「一神だが収納物でない」ということは偽である」物はある fact2: もしあの堕胎手術が全力投球出来ないならばあの鬼将校は反芻するし手伝える fact3: もし仮にあの堕胎手術は余所余所しいとすると「それは手伝える」ということは間違っていない fact4: もしもあの堕胎手術が全力投球出来るとすればそれは倍量でない一方で馳せ参じる fact5: もしも「あの鬼将校は反芻する」ということは成り立つとすると「倍量だし馳せ参じない」ということは嘘だ fact6: もしもあの堕胎手術は利用し易いとしたら「それは一神だということはないが収納物だ」ということは誤っている fact7: あの堕胎手術が手伝えるならそれは全力投球出来る fact8: あの堕胎手術が倍量でないけれど馳せ参じるなら利用し易い fact9: もし仮に何らかの物は利用し易いならば「それは一神でないしまた収納物でない」ということは間違いである fact10: もしも「「一神でなくてまた収納物でない」ということは成り立つということはない」物があるとするとあの鬼将校は反芻しない fact11: もしあの鬼将校は全力投球出来るとすると「それは反芻しなくてかつ馳せ参じない」ということは本当でない fact12: あの堕胎手術はライブドアＶＳフジ問題だ fact13: あの堕胎手術は手伝える fact14: 仮になんらかの物は利用し易いならば「それは一神であるがしかし収納物でない」ということは間違いである fact15: 「「あの信仰心はハンドレッドでないしその上それは思い易くない」ということは成り立たない」ということは真実である fact16: ある物は一神でなくておまけに収納物であるということはない fact17: 「仮にあの堕胎手術が全力投球出来るならあの堕胎手術は馳せ参じる」ということは成り立つ fact18: あの堕胎手術は馳せ参じる fact19: この静脈内鎮静法は手伝える
fact7 & fact13 -> int1: あの堕胎手術は全力投球出来る; int1 & fact4 -> int2: あの堕胎手術は倍量でないがしかしそれは馳せ参じる; int2 & fact8 -> int3: あの堕胎手術は利用し易い; fact9 -> int4: 仮にあの堕胎手術は利用し易いとすれば「それは一神であるということはなくて加えて収納物でない」ということは本当でない; int3 & int4 -> int5: 「「あの堕胎手術は一神だということはないし加えてそれは収納物でない」ということは確かである」ということは嘘である; int5 -> int6: 「「一神でないしそれに収納物でない」ということは成り立たない」ものはある; int6 & fact10 -> hypothesis;
あの鬼将校は反芻する
$facts$ = fact1: 「「一神だが収納物でない」ということは偽である」物はある fact2: もしあの堕胎手術が全力投球出来ないならばあの鬼将校は反芻するし手伝える fact3: もし仮にあの堕胎手術は余所余所しいとすると「それは手伝える」ということは間違っていない fact4: もしもあの堕胎手術が全力投球出来るとすればそれは倍量でない一方で馳せ参じる fact5: もしも「あの鬼将校は反芻する」ということは成り立つとすると「倍量だし馳せ参じない」ということは嘘だ fact6: もしもあの堕胎手術は利用し易いとしたら「それは一神だということはないが収納物だ」ということは誤っている fact7: あの堕胎手術が手伝えるならそれは全力投球出来る fact8: あの堕胎手術が倍量でないけれど馳せ参じるなら利用し易い fact9: もし仮に何らかの物は利用し易いならば「それは一神でないしまた収納物でない」ということは間違いである fact10: もしも「「一神でなくてまた収納物でない」ということは成り立つということはない」物があるとするとあの鬼将校は反芻しない fact11: もしあの鬼将校は全力投球出来るとすると「それは反芻しなくてかつ馳せ参じない」ということは本当でない fact12: あの堕胎手術はライブドアＶＳフジ問題だ fact13: あの堕胎手術は手伝える fact14: 仮になんらかの物は利用し易いならば「それは一神であるがしかし収納物でない」ということは間違いである fact15: 「「あの信仰心はハンドレッドでないしその上それは思い易くない」ということは成り立たない」ということは真実である fact16: ある物は一神でなくておまけに収納物であるということはない fact17: 「仮にあの堕胎手術が全力投球出来るならあの堕胎手術は馳せ参じる」ということは成り立つ fact18: あの堕胎手術は馳せ参じる fact19: この静脈内鎮静法は手伝える ; $hypothesis$ = あの鬼将校は反芻する ; $proof$ = 
fact7 & fact13 -> int1: あの堕胎手術は全力投球出来る; int1 & fact4 -> int2: あの堕胎手術は倍量でないがしかしそれは馳せ参じる; int2 & fact8 -> int3: あの堕胎手術は利用し易い; fact9 -> int4: 仮にあの堕胎手術は利用し易いとすれば「それは一神であるということはなくて加えて収納物でない」ということは本当でない; int3 & int4 -> int5: 「「あの堕胎手術は一神だということはないし加えてそれは収納物でない」ということは確かである」ということは嘘である; int5 -> int6: 「「一神でないしそれに収納物でない」ということは成り立たない」ものはある; int6 & fact10 -> hypothesis; __DISPROVED__
事実1: 「「一神だが収納物でない」ということは偽である」物はある
事実2: もしあの堕胎手術が全力投球出来ないならばあの鬼将校は反芻するし手伝える
事実3: もし仮にあの堕胎手術は余所余所しいとすると「それは手伝える」ということは間違っていない
事実4: もしもあの堕胎手術が全力投球出来るとすればそれは倍量でない一方で馳せ参じる
事実5: もしも「あの鬼将校は反芻する」ということは成り立つとすると「倍量だし馳せ参じない」ということは嘘だ
事実6: もしもあの堕胎手術は利用し易いとしたら「それは一神だということはないが収納物だ」ということは誤っている
事実7: あの堕胎手術が手伝えるならそれは全力投球出来る
事実8: あの堕胎手術が倍量でないけれど馳せ参じるなら利用し易い
事実9: もし仮に何らかの物は利用し易いならば「それは一神でないしまた収納物でない」ということは間違いである
事実10: もしも「「一神でなくてまた収納物でない」ということは成り立つということはない」物があるとするとあの鬼将校は反芻しない
事実11: もしあの鬼将校は全力投球出来るとすると「それは反芻しなくてかつ馳せ参じない」ということは本当でない
事実12: あの堕胎手術はライブドアＶＳフジ問題だ
事実13: あの堕胎手術は手伝える
事実14: 仮になんらかの物は利用し易いならば「それは一神であるがしかし収納物でない」ということは間違いである
事実15: 「「あの信仰心はハンドレッドでないしその上それは思い易くない」ということは成り立たない」ということは真実である
事実16: ある物は一神でなくておまけに収納物であるということはない
事実17: 「仮にあの堕胎手術が全力投球出来るならあの堕胎手術は馳せ参じる」ということは成り立つ
事実18: あの堕胎手術は馳せ参じる
事実19: この静脈内鎮静法は手伝える

仮説: あの鬼将校は反芻する
1. 事実7と事実13から、推論1: "あの堕胎手術は全力投球出来る"が導かれる
2. 推論1と事実4から、推論2: "あの堕胎手術は倍量でないがしかしそれは馳せ参じる"が導かれる
3. 推論2と事実8から、推論3: "あの堕胎手術は利用し易い"が導かれる
4. 事実9から、推論4: "仮にあの堕胎手術は利用し易いとすれば「それは一神であるということはなくて加えて収納物でない」ということは本当でない"が導かれる
5. 推論3と推論4から、推論5: "「「あの堕胎手術は一神だということはないし加えてそれは収納物でない」ということは確かである」ということは嘘である"が導かれる
6. 推論5から、推論6: "「「一神でないしそれに収納物でない」ということは成り立たない」ものはある"が導かれる
7. 推論6と事実10から、仮説が否定される

よって、仮説が否定されました。