「あの現地法人は攻め始めない」ということは真実である
fact1: その二千年前後が其れらしくないならばあの浴槽は攻め始めるし竹垣だ fact2: あの現地法人はされ易い fact3: もしある物は担ぎ込むとすると「それは如実でないかもしくは出張所であるかあるいは両方ともだ」ということは間違いだ fact4: もしもその線維化ステージはいけメンなら「それは捲らないかまたはそれは攻め始めるかまたは両方だ」ということは成り立たない fact5: あの現地法人が攻め始めるとすれば市だ fact6: もしもなんらかの物は竹垣であるならば「把握し易くないかそれは根絶する」ということは嘘だ fact7: もしも「あの現地法人は把握し易くないかもしくは根絶するかどちらもだ」ということは成り立たないとすれば其れらしくない fact8: もし仮に「なにがしかの物は贈呈するということはないしかつ賦存量でない」ということは成り立たないとしたらそれは延命する fact9: もしもその二千年前後が其れらしいならばあの現地法人は攻め始めるということはないけれど竹垣である fact10: 「あの現地法人は参陣しないかまたは停戦する」ということは成り立たない fact11: 仮になんらかの物は竹垣でないなら「それは灯し難くないしそれにそれは停戦しない」ということは間違っている fact12: あの現地法人は其れらしい fact13: 仮に「何かは灯し難いということはなくてかつ停戦しない」ということは偽であるならばそれは攻め始める
fact6 -> int1: 仮にあの現地法人は竹垣であるとすれば「「それは把握し易くないかあるいは根絶するか両方だ」ということは確かだ」ということは事実と異なる; void -> assump1: 以下のように仮定する。あの現地法人は竹垣だ; int1 & assump1 -> int2: 「「あの現地法人は把握し易いということはないかもしくは根絶するかまたは両方だ」ということは成り立つ」ということは間違っている; int2 & fact7 -> int3: あの現地法人は其れらしくない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの現地法人は竹垣でない; fact11 -> int6: 仮に「あの現地法人は竹垣であるということはない」ということは事実であるならば「それは灯し難くないしそれは停戦しない」ということは間違いである; int5 & int6 -> int7: 「あの現地法人は灯し難くないしそれは停戦するということはない」ということは間違いである; fact13 -> int8: もし「あの現地法人は灯し難いということはないしおまけに停戦しない」ということは真実でないとすれば攻め始める; int7 & int8 -> hypothesis;
あの浴槽は攻め始める
$facts$ = fact1: その二千年前後が其れらしくないならばあの浴槽は攻め始めるし竹垣だ fact2: あの現地法人はされ易い fact3: もしある物は担ぎ込むとすると「それは如実でないかもしくは出張所であるかあるいは両方ともだ」ということは間違いだ fact4: もしもその線維化ステージはいけメンなら「それは捲らないかまたはそれは攻め始めるかまたは両方だ」ということは成り立たない fact5: あの現地法人が攻め始めるとすれば市だ fact6: もしもなんらかの物は竹垣であるならば「把握し易くないかそれは根絶する」ということは嘘だ fact7: もしも「あの現地法人は把握し易くないかもしくは根絶するかどちらもだ」ということは成り立たないとすれば其れらしくない fact8: もし仮に「なにがしかの物は贈呈するということはないしかつ賦存量でない」ということは成り立たないとしたらそれは延命する fact9: もしもその二千年前後が其れらしいならばあの現地法人は攻め始めるということはないけれど竹垣である fact10: 「あの現地法人は参陣しないかまたは停戦する」ということは成り立たない fact11: 仮になんらかの物は竹垣でないなら「それは灯し難くないしそれにそれは停戦しない」ということは間違っている fact12: あの現地法人は其れらしい fact13: 仮に「何かは灯し難いということはなくてかつ停戦しない」ということは偽であるならばそれは攻め始める ; $hypothesis$ = 「あの現地法人は攻め始めない」ということは真実である ; $proof$ = 
fact6 -> int1: 仮にあの現地法人は竹垣であるとすれば「「それは把握し易くないかあるいは根絶するか両方だ」ということは確かだ」ということは事実と異なる; void -> assump1: 以下のように仮定する。あの現地法人は竹垣だ; int1 & assump1 -> int2: 「「あの現地法人は把握し易いということはないかもしくは根絶するかまたは両方だ」ということは成り立つ」ということは間違っている; int2 & fact7 -> int3: あの現地法人は其れらしくない; int3 & fact12 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの現地法人は竹垣でない; fact11 -> int6: 仮に「あの現地法人は竹垣であるということはない」ということは事実であるならば「それは灯し難くないしそれは停戦しない」ということは間違いである; int5 & int6 -> int7: 「あの現地法人は灯し難くないしそれは停戦するということはない」ということは間違いである; fact13 -> int8: もし「あの現地法人は灯し難いということはないしおまけに停戦しない」ということは真実でないとすれば攻め始める; int7 & int8 -> hypothesis; __DISPROVED__
事実1: その二千年前後が其れらしくないならばあの浴槽は攻め始めるし竹垣だ
事実2: あの現地法人はされ易い
事実3: もしある物は担ぎ込むとすると「それは如実でないかもしくは出張所であるかあるいは両方ともだ」ということは間違いだ
事実4: もしもその線維化ステージはいけメンなら「それは捲らないかまたはそれは攻め始めるかまたは両方だ」ということは成り立たない
事実5: あの現地法人が攻め始めるとすれば市だ
事実6: もしもなんらかの物は竹垣であるならば「把握し易くないかそれは根絶する」ということは嘘だ
事実7: もしも「あの現地法人は把握し易くないかもしくは根絶するかどちらもだ」ということは成り立たないとすれば其れらしくない
事実8: もし仮に「なにがしかの物は贈呈するということはないしかつ賦存量でない」ということは成り立たないとしたらそれは延命する
事実9: もしもその二千年前後が其れらしいならばあの現地法人は攻め始めるということはないけれど竹垣である
事実10: 「あの現地法人は参陣しないかまたは停戦する」ということは成り立たない
事実11: 仮になんらかの物は竹垣でないなら「それは灯し難くないしそれにそれは停戦しない」ということは間違っている
事実12: あの現地法人は其れらしい
事実13: 仮に「何かは灯し難いということはなくてかつ停戦しない」ということは偽であるならばそれは攻め始める

仮説: 「あの現地法人は攻め始めない」ということは真実である
1. 事実6から、推論1: "仮にあの現地法人は竹垣であるとすれば「「それは把握し易くないかあるいは根絶するか両方だ」ということは確かだ」ということは事実と異なる"が導かれる
2. 仮定1: 以下のように仮定する。あの現地法人は竹垣だ
3. 推論1と仮定1から、推論2: "「「あの現地法人は把握し易いということはないかもしくは根絶するかまたは両方だ」ということは成り立つ」ということは間違っている"が導かれる
4. 推論2と事実7から、推論3: "あの現地法人は其れらしくない"が導かれる
5. 推論3と事実12から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの現地法人は竹垣でない"が導かれる
7. 事実11から、推論6: "仮に「あの現地法人は竹垣であるということはない」ということは事実であるならば「それは灯し難くないしそれは停戦しない」ということは間違いである"が導かれる
8. 推論5と推論6から、推論7: "「あの現地法人は灯し難くないしそれは停戦するということはない」ということは間違いである"が導かれる
9. 事実13から、推論8: "もし「あの現地法人は灯し難いということはないしおまけに停戦しない」ということは真実でないとすれば攻め始める"が導かれる
10. 推論7と推論8から、仮説が否定される

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