「もし仮にこの日本語教科書が西洋化するということはないとするとこの日本語教科書は分け前でない」ということは成り立つということはない
fact1: 仮にある物が直り切らないとしたらそれは真っ暗くない fact2: その用間が直り切らないとすればこの諸技術はパージしないが退色し易い fact3: 甘ったるいものは綱引きでありしかも本震でない fact4: もし仮にあるものは増え続けないとしたら「西洋化するしかつ分け前だ」ということは嘘である fact5: もしもこの諸技術が綱引きであり本震でないならその用間は増え続けるということはない fact6: もし仮に何かは西上するならそれは調整レイヤーである fact7: もし仮にこの諸技術がパージしない一方でそれが退色し易いとすればこの日本語教科書は真っ暗くない fact8: もし仮に真っ暗くないものは分け前であるとするとそれは西洋化する fact9: 「反体制運動は調整レイヤーだ」ということは成り立つ fact10: もし仮に「「西洋化するしおまけに分け前である」ということは成り立たない」物があるとすればその北京郊外は直り切らない fact11: あらゆる物は西上するかまたはそれは反体制運動であるかあるいは両方だ fact12: もし仮にその用間が直り切るということはないとしたらこの諸技術はパージするということはない fact13: 「その用間は退色し易いということはない」ということは偽でない fact14: なにかは調整レイヤーだとすれば甘ったるい fact15: その用間は直り切らない
fact2 & fact15 -> int1: この諸技術はパージしない一方で退色し易い; int1 & fact7 -> int2: この日本語教科書は真っ暗くない; void -> assump1: 以下のように仮定する。この日本語教科書は分け前だ; int2 & assump1 -> int3: この日本語教科書は真っ暗くないがそれは分け前だ; fact8 -> int4: この日本語教科書は真っ暗くないが分け前であるとしたらそれは西洋化する; int3 & int4 -> int5: この日本語教科書は西洋化する; void -> assump2: 以下のように仮定する。この日本語教科書は西洋化しない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: この日本語教科書は分け前でない; [assump2] & int7 -> hypothesis;
その北京郊外は真っ暗くない
fact16 -> int8: この日本語教科書が甘ったるいとすればそれは綱引きであるけれど本震でない; fact18 -> int9: もしこの日本語教科書が調整レイヤーだとしたら甘ったるい; fact19 -> int10: この日本語教科書は西上するかもしくはそれは反体制運動であるかあるいは両方だ; fact20 -> int11: もしこの日本語教科書が西上すればそれは調整レイヤーである; fact24 -> int12: もし仮にこの日本語教科書が反体制運動ならそれは調整レイヤーである; int10 & int11 & int12 -> int13: この日本語教科書は調整レイヤーだ; int9 & int13 -> int14: この日本語教科書は甘ったるい; int8 & int14 -> int15: この日本語教科書は綱引きだ一方で本震でない; int15 -> int16: すべては綱引きで更にそれは本震であるということはない; int16 -> int17: この諸技術は綱引きであるけどそれは本震でない; fact21 & int17 -> int18: その用間は増え続けない; fact23 -> int19: 仮に「その用間は増え続けない」ということは本当ならば「西洋化するししかもそれは分け前である」ということは成り立たない; int18 & int19 -> int20: 「その用間は西洋化するしまた分け前である」ということは成り立たない; int20 -> int21: 「「西洋化するしまた分け前だ」ということは成り立たない」物はある; fact22 & int21 -> int22: その北京郊外は直り切らない; fact17 -> int23: その北京郊外が直り切らないとすると真っ暗くない; int22 & int23 -> hypothesis;
$facts$ = fact1: 仮にある物が直り切らないとしたらそれは真っ暗くない fact2: その用間が直り切らないとすればこの諸技術はパージしないが退色し易い fact3: 甘ったるいものは綱引きでありしかも本震でない fact4: もし仮にあるものは増え続けないとしたら「西洋化するしかつ分け前だ」ということは嘘である fact5: もしもこの諸技術が綱引きであり本震でないならその用間は増え続けるということはない fact6: もし仮に何かは西上するならそれは調整レイヤーである fact7: もし仮にこの諸技術がパージしない一方でそれが退色し易いとすればこの日本語教科書は真っ暗くない fact8: もし仮に真っ暗くないものは分け前であるとするとそれは西洋化する fact9: 「反体制運動は調整レイヤーだ」ということは成り立つ fact10: もし仮に「「西洋化するしおまけに分け前である」ということは成り立たない」物があるとすればその北京郊外は直り切らない fact11: あらゆる物は西上するかまたはそれは反体制運動であるかあるいは両方だ fact12: もし仮にその用間が直り切るということはないとしたらこの諸技術はパージするということはない fact13: 「その用間は退色し易いということはない」ということは偽でない fact14: なにかは調整レイヤーだとすれば甘ったるい fact15: その用間は直り切らない ; $hypothesis$ = 「もし仮にこの日本語教科書が西洋化するということはないとするとこの日本語教科書は分け前でない」ということは成り立つということはない ; $proof$ = 
fact2 & fact15 -> int1: この諸技術はパージしない一方で退色し易い; int1 & fact7 -> int2: この日本語教科書は真っ暗くない; void -> assump1: 以下のように仮定する。この日本語教科書は分け前だ; int2 & assump1 -> int3: この日本語教科書は真っ暗くないがそれは分け前だ; fact8 -> int4: この日本語教科書は真っ暗くないが分け前であるとしたらそれは西洋化する; int3 & int4 -> int5: この日本語教科書は西洋化する; void -> assump2: 以下のように仮定する。この日本語教科書は西洋化しない; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: この日本語教科書は分け前でない; [assump2] & int7 -> hypothesis; __DISPROVED__
事実1: 仮にある物が直り切らないとしたらそれは真っ暗くない
事実2: その用間が直り切らないとすればこの諸技術はパージしないが退色し易い
事実3: 甘ったるいものは綱引きでありしかも本震でない
事実4: もし仮にあるものは増え続けないとしたら「西洋化するしかつ分け前だ」ということは嘘である
事実5: もしもこの諸技術が綱引きであり本震でないならその用間は増え続けるということはない
事実6: もし仮に何かは西上するならそれは調整レイヤーである
事実7: もし仮にこの諸技術がパージしない一方でそれが退色し易いとすればこの日本語教科書は真っ暗くない
事実8: もし仮に真っ暗くないものは分け前であるとするとそれは西洋化する
事実9: 「反体制運動は調整レイヤーだ」ということは成り立つ
事実10: もし仮に「「西洋化するしおまけに分け前である」ということは成り立たない」物があるとすればその北京郊外は直り切らない
事実11: あらゆる物は西上するかまたはそれは反体制運動であるかあるいは両方だ
事実12: もし仮にその用間が直り切るということはないとしたらこの諸技術はパージするということはない
事実13: 「その用間は退色し易いということはない」ということは偽でない
事実14: なにかは調整レイヤーだとすれば甘ったるい
事実15: その用間は直り切らない

仮説: 「もし仮にこの日本語教科書が西洋化するということはないとするとこの日本語教科書は分け前でない」ということは成り立つということはない
1. 事実2と事実15から、推論1: "この諸技術はパージしない一方で退色し易い"が導かれる
2. 推論1と事実7から、推論2: "この日本語教科書は真っ暗くない"が導かれる
3. 仮定1: 以下のように仮定する。この日本語教科書は分け前だ
4. 推論2と仮定1から、推論3: "この日本語教科書は真っ暗くないがそれは分け前だ"が導かれる
5. 事実8から、推論4: "この日本語教科書は真っ暗くないが分け前であるとしたらそれは西洋化する"が導かれる
6. 推論3と推論4から、推論5: "この日本語教科書は西洋化する"が導かれる
7. 仮定2: 以下のように仮定する。この日本語教科書は西洋化しない
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "この日本語教科書は分け前でない"が導かれる
10. [仮定2]と推論7から、仮説が否定される

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