その袋綴じは持ち去らない
fact1: 「あの実際が長続きするしその上御兄さんである」ということは誤りだ fact2: 浮き易くないものはがっかりするかまたはアビリティガーデンであるということはないかあるいは両方ともだ fact3: もし仮にこの最深部が臭いということはないかまたはレギュラー出演するかあるいは両方であるならそれは臭いということはない fact4: 販売手数料は麗しい fact5: 「「長続きしないししかも御兄さんである」ということは真実でない」物があるとしたらこの最深部はアビリティガーデンである fact6: もしもあの実際ががっかりするとすればその袋綴じは持ち去る fact7: 「アビリティガーデンは浮き易い」ということは真実だ fact8: あのカルソニックスカイラインは辛抱強くないかもしくはそれはアビリティガーデンであるということはないかまたはどちらもだ fact9: 「決め兼ねなくて御兄さんである」物はある fact10: この最深部は浮き易くないかそれは決め兼ねない fact11: すべてのものは実用化しない fact12: もしも「あの実際はがっかりしない」ということは正しいとすれば「それは長続きしないし更にそれは御兄さんである」ということは誤りである fact13: もし仮になんらかの物は臭くないとしたら「それは立て易いしそれに決め兼ねる」ということは間違っている fact14: もしこの最深部は浮き易くないか決め兼ねないかもしくは両方なら浮き易くない fact15: 「あの筆はアビリティガーデンでない」ということは真実でない fact16: このパートタイマーはがっかりしない fact17: この最深部は浮き易いかあるいはそれは決め兼ねないかまたは両方だ fact18: 仮にこの体積が実用化しないとしたらこの一年基準は監視し易くないしおまけに感じ難くない fact19: もしもこの一年基準が感じ難くないとしたらこの最深部は臭くないかレギュラー出演するかどちらもだ fact20: この最深部がアビリティガーデンでないか長続きしないかまたは両方ともだとすればアビリティガーデンでない fact21: あの実際がアビリティガーデンでないがしかしがっかりするとしたらその袋綴じは持ち去らない
void -> assump1: 以下のように仮定する。あの実際はがっかりするということはない; fact12 & assump1 -> int1: 「あの実際は長続きしない一方で御兄さんだ」ということは成り立たない; int1 -> int2: 「「長続きしないし加えて御兄さんだ」ということは偽な」物はある; int2 & fact5 -> int3: この最深部はアビリティガーデンだ; fact7 -> int4: 仮にこの最深部はアビリティガーデンであるとするとそれは浮き易い; int3 & int4 -> int5: この最深部は浮き易い; fact10 & fact14 -> int6: この最深部は浮き易くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの実際はがっかりする; int8 & fact6 -> hypothesis;
「その袋綴じは決め兼ねる」ということは真実である
fact22 -> int9: もし仮にその袋綴じが浮き易くないとすればそれはがっかりするかアビリティガーデンでない;
$facts$ = fact1: 「あの実際が長続きするしその上御兄さんである」ということは誤りだ fact2: 浮き易くないものはがっかりするかまたはアビリティガーデンであるということはないかあるいは両方ともだ fact3: もし仮にこの最深部が臭いということはないかまたはレギュラー出演するかあるいは両方であるならそれは臭いということはない fact4: 販売手数料は麗しい fact5: 「「長続きしないししかも御兄さんである」ということは真実でない」物があるとしたらこの最深部はアビリティガーデンである fact6: もしもあの実際ががっかりするとすればその袋綴じは持ち去る fact7: 「アビリティガーデンは浮き易い」ということは真実だ fact8: あのカルソニックスカイラインは辛抱強くないかもしくはそれはアビリティガーデンであるということはないかまたはどちらもだ fact9: 「決め兼ねなくて御兄さんである」物はある fact10: この最深部は浮き易くないかそれは決め兼ねない fact11: すべてのものは実用化しない fact12: もしも「あの実際はがっかりしない」ということは正しいとすれば「それは長続きしないし更にそれは御兄さんである」ということは誤りである fact13: もし仮になんらかの物は臭くないとしたら「それは立て易いしそれに決め兼ねる」ということは間違っている fact14: もしこの最深部は浮き易くないか決め兼ねないかもしくは両方なら浮き易くない fact15: 「あの筆はアビリティガーデンでない」ということは真実でない fact16: このパートタイマーはがっかりしない fact17: この最深部は浮き易いかあるいはそれは決め兼ねないかまたは両方だ fact18: 仮にこの体積が実用化しないとしたらこの一年基準は監視し易くないしおまけに感じ難くない fact19: もしもこの一年基準が感じ難くないとしたらこの最深部は臭くないかレギュラー出演するかどちらもだ fact20: この最深部がアビリティガーデンでないか長続きしないかまたは両方ともだとすればアビリティガーデンでない fact21: あの実際がアビリティガーデンでないがしかしがっかりするとしたらその袋綴じは持ち去らない ; $hypothesis$ = その袋綴じは持ち去らない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの実際はがっかりするということはない; fact12 & assump1 -> int1: 「あの実際は長続きしない一方で御兄さんだ」ということは成り立たない; int1 -> int2: 「「長続きしないし加えて御兄さんだ」ということは偽な」物はある; int2 & fact5 -> int3: この最深部はアビリティガーデンだ; fact7 -> int4: 仮にこの最深部はアビリティガーデンであるとするとそれは浮き易い; int3 & int4 -> int5: この最深部は浮き易い; fact10 & fact14 -> int6: この最深部は浮き易くない; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの実際はがっかりする; int8 & fact6 -> hypothesis; __DISPROVED__
事実1: 「あの実際が長続きするしその上御兄さんである」ということは誤りだ
事実2: 浮き易くないものはがっかりするかまたはアビリティガーデンであるということはないかあるいは両方ともだ
事実3: もし仮にこの最深部が臭いということはないかまたはレギュラー出演するかあるいは両方であるならそれは臭いということはない
事実4: 販売手数料は麗しい
事実5: 「「長続きしないししかも御兄さんである」ということは真実でない」物があるとしたらこの最深部はアビリティガーデンである
事実6: もしもあの実際ががっかりするとすればその袋綴じは持ち去る
事実7: 「アビリティガーデンは浮き易い」ということは真実だ
事実8: あのカルソニックスカイラインは辛抱強くないかもしくはそれはアビリティガーデンであるということはないかまたはどちらもだ
事実9: 「決め兼ねなくて御兄さんである」物はある
事実10: この最深部は浮き易くないかそれは決め兼ねない
事実11: すべてのものは実用化しない
事実12: もしも「あの実際はがっかりしない」ということは正しいとすれば「それは長続きしないし更にそれは御兄さんである」ということは誤りである
事実13: もし仮になんらかの物は臭くないとしたら「それは立て易いしそれに決め兼ねる」ということは間違っている
事実14: もしこの最深部は浮き易くないか決め兼ねないかもしくは両方なら浮き易くない
事実15: 「あの筆はアビリティガーデンでない」ということは真実でない
事実16: このパートタイマーはがっかりしない
事実17: この最深部は浮き易いかあるいはそれは決め兼ねないかまたは両方だ
事実18: 仮にこの体積が実用化しないとしたらこの一年基準は監視し易くないしおまけに感じ難くない
事実19: もしもこの一年基準が感じ難くないとしたらこの最深部は臭くないかレギュラー出演するかどちらもだ
事実20: この最深部がアビリティガーデンでないか長続きしないかまたは両方ともだとすればアビリティガーデンでない
事実21: あの実際がアビリティガーデンでないがしかしがっかりするとしたらその袋綴じは持ち去らない

仮説: その袋綴じは持ち去らない
1. 仮定1: 以下のように仮定する。あの実際はがっかりするということはない
2. 事実12と仮定1から、推論1: "「あの実際は長続きしない一方で御兄さんだ」ということは成り立たない"が導かれる
3. 推論1から、推論2: "「「長続きしないし加えて御兄さんだ」ということは偽な」物はある"が導かれる
4. 推論2と事実5から、推論3: "この最深部はアビリティガーデンだ"が導かれる
5. 事実7から、推論4: "仮にこの最深部はアビリティガーデンであるとするとそれは浮き易い"が導かれる
6. 推論3と推論4から、推論5: "この最深部は浮き易い"が導かれる
7. 事実10と事実14から、推論6: "この最深部は浮き易くない"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの実際はがっかりする"が導かれる
10. 推論8と事実6から、仮説が否定される

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