「「もし仮に「結婚し為さるけれど挟まらない」ということは間違っているとしたら「結婚し為さるということはない」ということは本当である」ものはある」ということは真実でない
fact1: もしもこの新自由主義制度論が掴み難いとするとそれは蒸さなくてまたそれはＴＳＩ培地でない fact2: もし仮にこの先進的階級がまったりするけれどそれが太り易くないなら挟まらない fact3: この尊攘は太り易くない fact4: もし仮に何らかの物が抱き返さないかそれが蒸さないとすれば抱き返さない fact5: 仮にこの新自由主義制度論が耐え難いならこの青少年達は挟まる fact6: もし仮にこの青少年達は挟まれば「この先進的階級はまったりするけど結婚し為さるということはない」ということは成り立たない fact7: 「「この小用便器は挟まるけどそれは下前短冊でない」ということは誤っている」ということは本当である fact8: 「仮に「まったりするしかつ結婚し為さる」ということは誤りだとするとまったりしない」ものはある fact9: もし仮にこの先進的階級がまったりするということはないしかつそれが太り易いということはないとすると挟まるということはない fact10: もし「この先進的階級は結婚し為さるがしかしそれは挟まらない」ということは確かでないならば結婚し為さる fact11: この新自由主義制度論は曳航しないが掴み難い fact12: 仮にとある物が抱き返さないとすると耐え難いし我が儘だ fact13: この先進的階級はまったりしなくて更に太り易いということはない fact14: この先進的階級はまったりしない fact15: 「「結婚し為さるしおまけに挟まる」ということは誤りであるとすると「結婚し為さるということはない」ということは成り立つ」ものはある fact16: 「もし仮に「結婚し為さる一方で挟まらない」ということは成り立たないならば結婚し為さる」物はある fact17: この先進的階級は技術提携だ fact18: 「「この先進的階級はまったりするけれどそれは結婚し為さらない」ということは成り立たない」ということは本当であるならそのエクスペリエンスはまったりしない fact19: 「仮に結婚し為さるけれど挟まらないとすれば「結婚し為さらない」ということは成り立つ」ものはある
fact9 & fact13 -> int1: この先進的階級は挟まらない; void -> assump2: 以下のように仮定する。この先進的階級は結婚し為さる; int1 & assump2 -> int2: この先進的階級は結婚し為さるが挟まらない; void -> assump1: 以下のように仮定する。「この先進的階級は結婚し為さるけれど挟まらない」ということは誤っている; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この先進的階級は結婚し為さらない; [assump1] & int4 -> int5: もしも「この先進的階級は結婚し為さるが挟まらない」ということは正しくないならそれは結婚し為さらない; int5 -> hypothesis;
そのエクスペリエンスはまったりしない
fact22 -> int6: 仮にこの新自由主義制度論が抱き返さないとしたらそれは耐え難いし我が儘である; fact23 -> int7: もしこの新自由主義制度論が抱き返さないかまたは蒸さないかもしくはどちらもであるとしたらそれは抱き返さない; fact25 -> int8: 「この新自由主義制度論は掴み難い」ということは真実である; fact24 & int8 -> int9: この新自由主義制度論は蒸さないしおまけにＴＳＩ培地でない; int9 -> int10: この新自由主義制度論は蒸すということはない; int10 -> int11: この新自由主義制度論は抱き返さないかまたは蒸さないか両方である; int7 & int11 -> int12: この新自由主義制度論は抱き返さない; int6 & int12 -> int13: この新自由主義制度論は耐え難いし我が儘だ; int13 -> int14: この新自由主義制度論は耐え難い; fact20 & int14 -> int15: この青少年達は挟まる; fact21 & int15 -> int16: 「この先進的階級はまったりするけどそれは結婚し為さらない」ということは事実であるということはない; fact26 & int16 -> hypothesis;
$facts$ = fact1: もしもこの新自由主義制度論が掴み難いとするとそれは蒸さなくてまたそれはＴＳＩ培地でない fact2: もし仮にこの先進的階級がまったりするけれどそれが太り易くないなら挟まらない fact3: この尊攘は太り易くない fact4: もし仮に何らかの物が抱き返さないかそれが蒸さないとすれば抱き返さない fact5: 仮にこの新自由主義制度論が耐え難いならこの青少年達は挟まる fact6: もし仮にこの青少年達は挟まれば「この先進的階級はまったりするけど結婚し為さるということはない」ということは成り立たない fact7: 「「この小用便器は挟まるけどそれは下前短冊でない」ということは誤っている」ということは本当である fact8: 「仮に「まったりするしかつ結婚し為さる」ということは誤りだとするとまったりしない」ものはある fact9: もし仮にこの先進的階級がまったりするということはないしかつそれが太り易いということはないとすると挟まるということはない fact10: もし「この先進的階級は結婚し為さるがしかしそれは挟まらない」ということは確かでないならば結婚し為さる fact11: この新自由主義制度論は曳航しないが掴み難い fact12: 仮にとある物が抱き返さないとすると耐え難いし我が儘だ fact13: この先進的階級はまったりしなくて更に太り易いということはない fact14: この先進的階級はまったりしない fact15: 「「結婚し為さるしおまけに挟まる」ということは誤りであるとすると「結婚し為さるということはない」ということは成り立つ」ものはある fact16: 「もし仮に「結婚し為さる一方で挟まらない」ということは成り立たないならば結婚し為さる」物はある fact17: この先進的階級は技術提携だ fact18: 「「この先進的階級はまったりするけれどそれは結婚し為さらない」ということは成り立たない」ということは本当であるならそのエクスペリエンスはまったりしない fact19: 「仮に結婚し為さるけれど挟まらないとすれば「結婚し為さらない」ということは成り立つ」ものはある ; $hypothesis$ = 「「もし仮に「結婚し為さるけれど挟まらない」ということは間違っているとしたら「結婚し為さるということはない」ということは本当である」ものはある」ということは真実でない ; $proof$ = 
fact9 & fact13 -> int1: この先進的階級は挟まらない; void -> assump2: 以下のように仮定する。この先進的階級は結婚し為さる; int1 & assump2 -> int2: この先進的階級は結婚し為さるが挟まらない; void -> assump1: 以下のように仮定する。「この先進的階級は結婚し為さるけれど挟まらない」ということは誤っている; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: この先進的階級は結婚し為さらない; [assump1] & int4 -> int5: もしも「この先進的階級は結婚し為さるが挟まらない」ということは正しくないならそれは結婚し為さらない; int5 -> hypothesis; __DISPROVED__
事実1: もしもこの新自由主義制度論が掴み難いとするとそれは蒸さなくてまたそれはＴＳＩ培地でない
事実2: もし仮にこの先進的階級がまったりするけれどそれが太り易くないなら挟まらない
事実3: この尊攘は太り易くない
事実4: もし仮に何らかの物が抱き返さないかそれが蒸さないとすれば抱き返さない
事実5: 仮にこの新自由主義制度論が耐え難いならこの青少年達は挟まる
事実6: もし仮にこの青少年達は挟まれば「この先進的階級はまったりするけど結婚し為さるということはない」ということは成り立たない
事実7: 「「この小用便器は挟まるけどそれは下前短冊でない」ということは誤っている」ということは本当である
事実8: 「仮に「まったりするしかつ結婚し為さる」ということは誤りだとするとまったりしない」ものはある
事実9: もし仮にこの先進的階級がまったりするということはないしかつそれが太り易いということはないとすると挟まるということはない
事実10: もし「この先進的階級は結婚し為さるがしかしそれは挟まらない」ということは確かでないならば結婚し為さる
事実11: この新自由主義制度論は曳航しないが掴み難い
事実12: 仮にとある物が抱き返さないとすると耐え難いし我が儘だ
事実13: この先進的階級はまったりしなくて更に太り易いということはない
事実14: この先進的階級はまったりしない
事実15: 「「結婚し為さるしおまけに挟まる」ということは誤りであるとすると「結婚し為さるということはない」ということは成り立つ」ものはある
事実16: 「もし仮に「結婚し為さる一方で挟まらない」ということは成り立たないならば結婚し為さる」物はある
事実17: この先進的階級は技術提携だ
事実18: 「「この先進的階級はまったりするけれどそれは結婚し為さらない」ということは成り立たない」ということは本当であるならそのエクスペリエンスはまったりしない
事実19: 「仮に結婚し為さるけれど挟まらないとすれば「結婚し為さらない」ということは成り立つ」ものはある

仮説: 「「もし仮に「結婚し為さるけれど挟まらない」ということは間違っているとしたら「結婚し為さるということはない」ということは本当である」ものはある」ということは真実でない
1. 事実9と事実13から、推論1: "この先進的階級は挟まらない"が導かれる
2. 仮定2: 以下のように仮定する。この先進的階級は結婚し為さる
3. 推論1と仮定2から、推論2: "この先進的階級は結婚し為さるが挟まらない"が導かれる
4. 仮定1: 以下のように仮定する。「この先進的階級は結婚し為さるけれど挟まらない」ということは誤っている
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "この先進的階級は結婚し為さらない"が導かれる
7. [仮定1]と推論4から、推論5: "もしも「この先進的階級は結婚し為さるが挟まらない」ということは正しくないならそれは結婚し為さらない"が導かれる
8. 推論5から、仮説が否定される

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