この一国民は戦時公債だ
fact1: なにがしかの物が消せればそれは占有でないし引き返し始める fact2: 仮にとあるものが転び易くないとすれば純潔だし加えて麻薬常傭者だ fact3: もしその本庁各課等は好物でないなら打っ飛ばさない fact4: 「占有でないけど引き返し始める」ものがあるとしたらあの細胞質膜は空恐ろしくない fact5: 仮にこの一国民が打っ飛ばさないとするとそれは如何わしくない fact6: 「もしもあの細胞質膜は空恐ろしいということはないとすれば「この歴史教育は長細くない一方で引っ越せる」ということは誤っている」ということは本当だ fact7: その本庁各課等が打っ飛ばすということはないとするとこの一国民は戦時公債でない fact8: そのＲＦ方式は好物であるとすれば「その本庁各課等は決め難くないし戦時公債であるということはない」ということは誤っている fact9: その本庁各課等は戦時公債でない fact10: 「もしあの鋲が射通さないならあの鋲は転び易くないがしかし思想月報である」ということは真実だ fact11: もしある物は麻薬常傭者であるとしたら心地良い fact12: もしもそのグローバル・スタンダードが消せない一方で弱しならあの百シャックルは消せる fact13: あの百シャックルは戦時公債でない fact14: 「その諮問は好物でない」ということは成り立つ fact15: その本庁各課等は決め難いけど好物だということはない fact16: この一国民は決め難くない fact17: 「「長細くない一方で引っ越せる」ということは誤りである」物があるとするとあの会社支配は打っ飛ばさない fact18: その本庁各課等は決め難い fact19: あの鋲は射通すということはない fact20: 心地良い物は消せないけれど弱し fact21: もし仮にこの一国民が好物でないとすればその本庁各課等は戦時公債でない fact22: もし仮にあの鋲がバックラッシュだということはないか心地良いかあるいは両方ともならそのグローバル・スタンダードは心地良い
fact15 -> int1: その本庁各課等は好物でない; int1 & fact3 -> int2: その本庁各課等は打っ飛ばさない; int2 & fact7 -> hypothesis;
fact15 -> int1: ¬{B}{a}; int1 & fact3 -> int2: ¬{C}{a}; int2 & fact7 -> hypothesis;
この一国民は戦時公債である
fact34 -> int3: もしもあの百シャックルが消せるとすれば占有でないが引き返し始める; fact24 -> int4: もし仮にそのグローバル・スタンダードが心地良いならそれは消せないがしかし弱し; fact32 -> int5: あの鋲が麻薬常傭者だとしたら心地良い; fact29 -> int6: 仮にあの鋲が転び易くないとするとそれが純潔だし麻薬常傭者である; fact31 & fact28 -> int7: あの鋲は転び易くないけど思想月報だ; int7 -> int8: 「あの鋲は転び易いということはない」ということは本当だ; int6 & int8 -> int9: あの鋲が純潔だしおまけにそれは麻薬常傭者である; int9 -> int10: あの鋲は麻薬常傭者である; int5 & int10 -> int11: あの鋲は心地良い; int11 -> int12: あの鋲はバックラッシュでないかもしくはそれは心地良いかどちらもだ; fact27 & int12 -> int13: そのグローバル・スタンダードは心地良い; int4 & int13 -> int14: そのグローバル・スタンダードは消せないけれど弱し; fact26 & int14 -> int15: あの百シャックルは消せる; int3 & int15 -> int16: あの百シャックルは占有でない一方で引き返し始める; int16 -> int17: なんらかの物は占有でないけれど引き返し始める; int17 & fact25 -> int18: あの細胞質膜は空恐ろしくない; fact23 & int18 -> int19: 「この歴史教育は長細くないが引っ越せる」ということは嘘だ; int19 -> int20: 「「長細くないしその上引っ越せる」ということは成り立たない」物はある; int20 & fact33 -> int21: あの会社支配は打っ飛ばさない; int21 -> int22: 「打っ飛ばさない」物はある;
$facts$ = fact1: なにがしかの物が消せればそれは占有でないし引き返し始める fact2: 仮にとあるものが転び易くないとすれば純潔だし加えて麻薬常傭者だ fact3: もしその本庁各課等は好物でないなら打っ飛ばさない fact4: 「占有でないけど引き返し始める」ものがあるとしたらあの細胞質膜は空恐ろしくない fact5: 仮にこの一国民が打っ飛ばさないとするとそれは如何わしくない fact6: 「もしもあの細胞質膜は空恐ろしいということはないとすれば「この歴史教育は長細くない一方で引っ越せる」ということは誤っている」ということは本当だ fact7: その本庁各課等が打っ飛ばすということはないとするとこの一国民は戦時公債でない fact8: そのＲＦ方式は好物であるとすれば「その本庁各課等は決め難くないし戦時公債であるということはない」ということは誤っている fact9: その本庁各課等は戦時公債でない fact10: 「もしあの鋲が射通さないならあの鋲は転び易くないがしかし思想月報である」ということは真実だ fact11: もしある物は麻薬常傭者であるとしたら心地良い fact12: もしもそのグローバル・スタンダードが消せない一方で弱しならあの百シャックルは消せる fact13: あの百シャックルは戦時公債でない fact14: 「その諮問は好物でない」ということは成り立つ fact15: その本庁各課等は決め難いけど好物だということはない fact16: この一国民は決め難くない fact17: 「「長細くない一方で引っ越せる」ということは誤りである」物があるとするとあの会社支配は打っ飛ばさない fact18: その本庁各課等は決め難い fact19: あの鋲は射通すということはない fact20: 心地良い物は消せないけれど弱し fact21: もし仮にこの一国民が好物でないとすればその本庁各課等は戦時公債でない fact22: もし仮にあの鋲がバックラッシュだということはないか心地良いかあるいは両方ともならそのグローバル・スタンダードは心地良い ; $hypothesis$ = この一国民は戦時公債だ ; $proof$ = 
fact15 -> int1: その本庁各課等は好物でない; int1 & fact3 -> int2: その本庁各課等は打っ飛ばさない; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: なにがしかの物が消せればそれは占有でないし引き返し始める
事実2: 仮にとあるものが転び易くないとすれば純潔だし加えて麻薬常傭者だ
事実3: もしその本庁各課等は好物でないなら打っ飛ばさない
事実4: 「占有でないけど引き返し始める」ものがあるとしたらあの細胞質膜は空恐ろしくない
事実5: 仮にこの一国民が打っ飛ばさないとするとそれは如何わしくない
事実6: 「もしもあの細胞質膜は空恐ろしいということはないとすれば「この歴史教育は長細くない一方で引っ越せる」ということは誤っている」ということは本当だ
事実7: その本庁各課等が打っ飛ばすということはないとするとこの一国民は戦時公債でない
事実8: そのＲＦ方式は好物であるとすれば「その本庁各課等は決め難くないし戦時公債であるということはない」ということは誤っている
事実9: その本庁各課等は戦時公債でない
事実10: 「もしあの鋲が射通さないならあの鋲は転び易くないがしかし思想月報である」ということは真実だ
事実11: もしある物は麻薬常傭者であるとしたら心地良い
事実12: もしもそのグローバル・スタンダードが消せない一方で弱しならあの百シャックルは消せる
事実13: あの百シャックルは戦時公債でない
事実14: 「その諮問は好物でない」ということは成り立つ
事実15: その本庁各課等は決め難いけど好物だということはない
事実16: この一国民は決め難くない
事実17: 「「長細くない一方で引っ越せる」ということは誤りである」物があるとするとあの会社支配は打っ飛ばさない
事実18: その本庁各課等は決め難い
事実19: あの鋲は射通すということはない
事実20: 心地良い物は消せないけれど弱し
事実21: もし仮にこの一国民が好物でないとすればその本庁各課等は戦時公債でない
事実22: もし仮にあの鋲がバックラッシュだということはないか心地良いかあるいは両方ともならそのグローバル・スタンダードは心地良い

仮説: この一国民は戦時公債だ
1. 事実15から、推論1: "その本庁各課等は好物でない"が導かれる
2. 推論1と事実3から、推論2: "その本庁各課等は打っ飛ばさない"が導かれる
3. 推論2と事実7から、仮説が否定される

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