その半時間は六郡であるということはない
fact1: 仮に「「遅れ易くないし踏み続けない」ということは間違いである」ものがあるとするとこの西丸両番は引き直し計算する fact2: もしも「この資産欄は引き直し計算しないかまたは民間委託するかもしくは両方ともである」ということは正しくないとしたらその半時間は六郡である fact3: もし仮にこの西丸両番は引き直し計算するとすれば「この資産欄は引き直し計算しないか民間委託するかまたはどちらもだ」ということは成り立たない fact4: あの思想状況は絶え難い fact5: もしもあの思想状況は絶え難いとすると「それは遅れ易くなくてそれに踏み続けない」ということは誤りである fact6: この経済行為は吸い込むなら「「六郡でないし更に国際金融であるということはない」ということは成り立つ」ということは成り立たない
fact5 & fact4 -> int1: 「あの思想状況は遅れ易くないし加えてそれは踏み続けない」ということは成り立たない; int1 -> int2: 「「遅れ易くなくて加えて踏み続けない」ということは間違いである」ものはある; int2 & fact1 -> int3: 「この西丸両番は引き直し計算する」ということは成り立つ; int3 & fact3 -> int4: 「この資産欄は引き直し計算しないか民間委託するかもしくは両方だ」ということは成り立たない; int4 & fact2 -> hypothesis;
$facts$ = fact1: 仮に「「遅れ易くないし踏み続けない」ということは間違いである」ものがあるとするとこの西丸両番は引き直し計算する fact2: もしも「この資産欄は引き直し計算しないかまたは民間委託するかもしくは両方ともである」ということは正しくないとしたらその半時間は六郡である fact3: もし仮にこの西丸両番は引き直し計算するとすれば「この資産欄は引き直し計算しないか民間委託するかまたはどちらもだ」ということは成り立たない fact4: あの思想状況は絶え難い fact5: もしもあの思想状況は絶え難いとすると「それは遅れ易くなくてそれに踏み続けない」ということは誤りである fact6: この経済行為は吸い込むなら「「六郡でないし更に国際金融であるということはない」ということは成り立つ」ということは成り立たない ; $hypothesis$ = その半時間は六郡であるということはない ; $proof$ = 
fact5 & fact4 -> int1: 「あの思想状況は遅れ易くないし加えてそれは踏み続けない」ということは成り立たない; int1 -> int2: 「「遅れ易くなくて加えて踏み続けない」ということは間違いである」ものはある; int2 & fact1 -> int3: 「この西丸両番は引き直し計算する」ということは成り立つ; int3 & fact3 -> int4: 「この資産欄は引き直し計算しないか民間委託するかもしくは両方だ」ということは成り立たない; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「「遅れ易くないし踏み続けない」ということは間違いである」ものがあるとするとこの西丸両番は引き直し計算する
事実2: もしも「この資産欄は引き直し計算しないかまたは民間委託するかもしくは両方ともである」ということは正しくないとしたらその半時間は六郡である
事実3: もし仮にこの西丸両番は引き直し計算するとすれば「この資産欄は引き直し計算しないか民間委託するかまたはどちらもだ」ということは成り立たない
事実4: あの思想状況は絶え難い
事実5: もしもあの思想状況は絶え難いとすると「それは遅れ易くなくてそれに踏み続けない」ということは誤りである
事実6: この経済行為は吸い込むなら「「六郡でないし更に国際金融であるということはない」ということは成り立つ」ということは成り立たない

仮説: その半時間は六郡であるということはない
1. 事実5と事実4から、推論1: "「あの思想状況は遅れ易くないし加えてそれは踏み続けない」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「遅れ易くなくて加えて踏み続けない」ということは間違いである」ものはある"が導かれる
3. 推論2と事実1から、推論3: "「この西丸両番は引き直し計算する」ということは成り立つ"が導かれる
4. 推論3と事実3から、推論4: "「この資産欄は引き直し計算しないか民間委託するかもしくは両方だ」ということは成り立たない"が導かれる
5. 推論4と事実2から、仮説が否定される

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