「あのソウルホテルは近代思想でない」ということは真実である
fact1: もしもなんらかの物は予後因子でないとすると「それは人間っぽいし意気塵でない」ということは嘘である fact2: もし「増進しない」ものがあるとすればあの忍風戦隊ハリケンジャーは俳優であるけれど一稼ぎしない fact3: あのソウルホテルはリスボン宣言でない fact4: もし仮に「その配慮は俳優だし更に増進する」ということは本当であるならばそれは甘んぜない fact5: もしその配慮は俳優だけれど増進するということはないとしたらそれは甘んずるということはない fact6: もしもあのソウルホテルは落葉樹でないならば「この根は増進するし加えて覚え易い」ということは成り立たない fact7: もしもとあるものは一稼ぎするとすると「それは近代思想でない」ということは成り立つ fact8: あの行為目標は出所出来ないしおまけに被服費でない fact9: もし何らかの物が読み手でないかもしくはそれが凄まじくないとすれば予後因子でない fact10: もし「あの忍風戦隊ハリケンジャーは御戻り下さらない」ということは真実だとすればこの根は水っぽいということはなくてまた御戻り下さらない fact11: もし俳優が一稼ぎしないとするとそれは御戻り下さる fact12: この生活形態が他愛無いとすればあのソウルホテルは読み手でないかあるいは凄まじくないか両方である fact13: 「何らかの物は水っぽいけれど一稼ぎしない」ということは成り立たないなら近代思想でない fact14: もしこの根は水っぽくないとしたら「あのソウルホテルは水っぽいけど一稼ぎするということはない」ということは成り立たない fact15: もしもあの忍風戦隊ハリケンジャーが水っぽくないならこの根は御戻り下さらなくてそれは水っぽくない fact16: もしも「「出所出来ないしおまけに被服費でない」ということは成り立つ」ものがあるとするとこの生活形態は他愛無い fact17: 仮に「とあるものは人間っぽいが意気塵でない」ということは誤っていればそれは落葉樹でない fact18: もしあの忍風戦隊ハリケンジャーが水っぽいとしたらその配慮は甘んずる fact19: その配慮は俳優だけど増進しない fact20: もしもあの忍風戦隊ハリケンジャーは御戻り下さるとすれば「この豆腐は水っぽくないしそれに甘んぜない」ということは成り立たない fact21: 「この根は増進するし覚え易い」ということは間違いであるならばその配慮は増進しない
void -> assump1: 以下のように仮定する。あの忍風戦隊ハリケンジャーは水っぽい; fact18 & assump1 -> int1: 「その配慮は甘んずる」ということは成り立つ; fact19 & fact5 -> int2: その配慮は甘んぜない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの忍風戦隊ハリケンジャーは水っぽい」ということは間違いだ; int4 & fact15 -> int5: この根は御戻り下さらなくて水っぽくない; int5 -> int6: この根は水っぽくない; int6 & fact14 -> int7: 「あのソウルホテルは水っぽいけれどそれは一稼ぎしない」ということは成り立つということはない; fact13 -> int8: 「あのソウルホテルは水っぽいがしかし一稼ぎしない」ということは成り立たないならば近代思想でない; int7 & int8 -> hypothesis;
この豆腐は近代思想でない
fact29 -> int9: もし仮にあの忍風戦隊ハリケンジャーは俳優であるがしかし一稼ぎするということはないとするとそれは御戻り下さる; fact31 -> int10: 仮に「あのソウルホテルは人間っぽいけれど意気塵であるということはない」ということは偽であるとすればそれは落葉樹でない; fact26 -> int11: あのソウルホテルは予後因子であるということはないなら「それは人間っぽくてそれは意気塵でない」ということは成り立たない; fact23 -> int12: 仮にあのソウルホテルは読み手でないかもしくは凄まじくないかまたはどちらもだとすればそれは予後因子でない; fact30 -> int13: 「出所出来なくてかつ被服費だということはない」物はある; int13 & fact24 -> int14: 「この生活形態は他愛無い」ということは事実だ; fact28 & int14 -> int15: あのソウルホテルは読み手でないかもしくは凄まじいということはないかもしくは両方ともだ; int12 & int15 -> int16: あのソウルホテルは予後因子でない; int11 & int16 -> int17: 「あのソウルホテルは人間っぽいがしかし意気塵でない」ということは成り立たない; int10 & int17 -> int18: あのソウルホテルは落葉樹でない; fact27 & int18 -> int19: 「この根は増進するししかも覚え易い」ということは偽である; fact32 & int19 -> int20: その配慮は増進しない; int20 -> int21: 「「増進しない」ということは事実な」物はある; int21 & fact22 -> int22: あの忍風戦隊ハリケンジャーは俳優であるがしかし一稼ぎするということはない; int9 & int22 -> int23: あの忍風戦隊ハリケンジャーは御戻り下さる; fact25 & int23 -> int24: 「この豆腐は水っぽくないしそれは甘んぜない」ということは真実でない;
$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: 以下のように仮定する。あの忍風戦隊ハリケンジャーは水っぽい; fact18 & assump1 -> int1: 「その配慮は甘んずる」ということは成り立つ; fact19 & fact5 -> int2: その配慮は甘んぜない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの忍風戦隊ハリケンジャーは水っぽい」ということは間違いだ; int4 & fact15 -> int5: この根は御戻り下さらなくて水っぽくない; int5 -> int6: この根は水っぽくない; int6 & fact14 -> int7: 「あのソウルホテルは水っぽいけれどそれは一稼ぎしない」ということは成り立つということはない; fact13 -> int8: 「あのソウルホテルは水っぽいがしかし一稼ぎしない」ということは成り立たないならば近代思想でない; int7 & int8 -> hypothesis; __PROVED__
事実1: もしもなんらかの物は予後因子でないとすると「それは人間っぽいし意気塵でない」ということは嘘である
事実2: もし「増進しない」ものがあるとすればあの忍風戦隊ハリケンジャーは俳優であるけれど一稼ぎしない
事実3: あのソウルホテルはリスボン宣言でない
事実4: もし仮に「その配慮は俳優だし更に増進する」ということは本当であるならばそれは甘んぜない
事実5: もしその配慮は俳優だけれど増進するということはないとしたらそれは甘んずるということはない
事実6: もしもあのソウルホテルは落葉樹でないならば「この根は増進するし加えて覚え易い」ということは成り立たない
事実7: もしもとあるものは一稼ぎするとすると「それは近代思想でない」ということは成り立つ
事実8: あの行為目標は出所出来ないしおまけに被服費でない
事実9: もし何らかの物が読み手でないかもしくはそれが凄まじくないとすれば予後因子でない
事実10: もし「あの忍風戦隊ハリケンジャーは御戻り下さらない」ということは真実だとすればこの根は水っぽいということはなくてまた御戻り下さらない
事実11: もし俳優が一稼ぎしないとするとそれは御戻り下さる
事実12: この生活形態が他愛無いとすればあのソウルホテルは読み手でないかあるいは凄まじくないか両方である
事実13: 「何らかの物は水っぽいけれど一稼ぎしない」ということは成り立たないなら近代思想でない
事実14: もしこの根は水っぽくないとしたら「あのソウルホテルは水っぽいけど一稼ぎするということはない」ということは成り立たない
事実15: もしもあの忍風戦隊ハリケンジャーが水っぽくないならこの根は御戻り下さらなくてそれは水っぽくない
事実16: もしも「「出所出来ないしおまけに被服費でない」ということは成り立つ」ものがあるとするとこの生活形態は他愛無い
事実17: 仮に「とあるものは人間っぽいが意気塵でない」ということは誤っていればそれは落葉樹でない
事実18: もしあの忍風戦隊ハリケンジャーが水っぽいとしたらその配慮は甘んずる
事実19: その配慮は俳優だけど増進しない
事実20: もしもあの忍風戦隊ハリケンジャーは御戻り下さるとすれば「この豆腐は水っぽくないしそれに甘んぜない」ということは成り立たない
事実21: 「この根は増進するし覚え易い」ということは間違いであるならばその配慮は増進しない

仮説: 「あのソウルホテルは近代思想でない」ということは真実である
1. 仮定1: 以下のように仮定する。あの忍風戦隊ハリケンジャーは水っぽい
2. 事実18と仮定1から、推論1: "「その配慮は甘んずる」ということは成り立つ"が導かれる
3. 事実19と事実5から、推論2: "その配慮は甘んぜない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの忍風戦隊ハリケンジャーは水っぽい」ということは間違いだ"が導かれる
6. 推論4と事実15から、推論5: "この根は御戻り下さらなくて水っぽくない"が導かれる
7. 推論5から、推論6: "この根は水っぽくない"が導かれる
8. 推論6と事実14から、推論7: "「あのソウルホテルは水っぽいけれどそれは一稼ぎしない」ということは成り立つということはない"が導かれる
9. 事実13から、推論8: "「あのソウルホテルは水っぽいがしかし一稼ぎしない」ということは成り立たないならば近代思想でない"が導かれる
10. 推論7と推論8から、仮説が導かれる

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