あの当該関係行政機関が許し難いならばあの御題目は第六師団である
fact1: 判断し難いものは第六師団だ fact2: あの当該関係行政機関は第六師団だ fact3: あの御題目は剔出するとすれば「「その将来設計は判断し難いけれどそれは実行し易くない」ということは成り立たない」ということは真実である fact4: もしその将来設計は実行し易いならば「あの当該関係行政機関は許し難いが剔出しない」ということは誤っている fact5: 仮に「その将来設計は剔出するがそれは実行し易くない」ということは誤りだとするとあの御題目は判断し難い fact6: 「もしもその将来設計が剔出しないとするとあの御題目は判断し難い」ということは成り立つ fact7: 「この租税法律主義は絶え間無いけれど実行し易くない」ということは誤りである fact8: 仮にその将来設計が剔出すれば判断し難い fact9: もしあの御題目が第六師団であるとしたらその将来設計は判断し難い fact10: 仮に「その将来設計は剔出する」ということは成り立つとしたら「あの御題目は実行し易いけどそれは第六師団でない」ということは間違いである fact11: 「仮にその長距離国際線が第六師団であるとすればその長距離国際線は判断し難くない」ということは本当だ fact12: 第六師団でないしさらに利用し難くないというものはない fact13: あの心痛は実行し易い fact14: もし仮にその将来設計が許し難いならば実行し易い fact15: 仮にその将来設計は第六師団ならば「あの御題目は剔出するがそれは実行し易いということはない」ということは成り立つということはない fact16: その来春は許し難い fact17: あの当該関係行政機関は利用し難い fact18: もしも「あの御題目は許し難くない」ということは事実でないとすると「あの当該関係行政機関は判断し難いしそれに第六師団である」ということは真実であるということはない fact19: その将来設計は第六師団であるならば「あの御題目は判断し難いが剔出しない」ということは成り立たない fact20: もしもあの当該関係行政機関は許し難いとすると「その将来設計は剔出する一方でそれは実行し易くない」ということは嘘である fact21: 「「あの当該関係行政機関は許し難くて加えて判断し難い」ということは成り立たない」ということは確かだ fact22: その近代語は第六師団だ
void -> assump1: 以下のように仮定する。あの当該関係行政機関は許し難い; fact20 & assump1 -> int1: 「その将来設計は剔出するがしかしそれは実行し易くない」ということは成り立たない; int1 & fact5 -> int2: あの御題目は判断し難い; fact1 -> int3: もしあの御題目が判断し難いとしたらそれは第六師団である; int2 & int3 -> int4: 「あの御題目は第六師団である」ということは本当である; [assump1] & int4 -> hypothesis;
「あの薩摩藩士は剔出する」ということは成り立つ
fact23 -> int5: 「あの薩摩藩士は第六師団でないしかつ利用し難いということはない」ということは誤っている;
$facts$ = fact1: 判断し難いものは第六師団だ fact2: あの当該関係行政機関は第六師団だ fact3: あの御題目は剔出するとすれば「「その将来設計は判断し難いけれどそれは実行し易くない」ということは成り立たない」ということは真実である fact4: もしその将来設計は実行し易いならば「あの当該関係行政機関は許し難いが剔出しない」ということは誤っている fact5: 仮に「その将来設計は剔出するがそれは実行し易くない」ということは誤りだとするとあの御題目は判断し難い fact6: 「もしもその将来設計が剔出しないとするとあの御題目は判断し難い」ということは成り立つ fact7: 「この租税法律主義は絶え間無いけれど実行し易くない」ということは誤りである fact8: 仮にその将来設計が剔出すれば判断し難い fact9: もしあの御題目が第六師団であるとしたらその将来設計は判断し難い fact10: 仮に「その将来設計は剔出する」ということは成り立つとしたら「あの御題目は実行し易いけどそれは第六師団でない」ということは間違いである fact11: 「仮にその長距離国際線が第六師団であるとすればその長距離国際線は判断し難くない」ということは本当だ fact12: 第六師団でないしさらに利用し難くないというものはない fact13: あの心痛は実行し易い fact14: もし仮にその将来設計が許し難いならば実行し易い fact15: 仮にその将来設計は第六師団ならば「あの御題目は剔出するがそれは実行し易いということはない」ということは成り立つということはない fact16: その来春は許し難い fact17: あの当該関係行政機関は利用し難い fact18: もしも「あの御題目は許し難くない」ということは事実でないとすると「あの当該関係行政機関は判断し難いしそれに第六師団である」ということは真実であるということはない fact19: その将来設計は第六師団であるならば「あの御題目は判断し難いが剔出しない」ということは成り立たない fact20: もしもあの当該関係行政機関は許し難いとすると「その将来設計は剔出する一方でそれは実行し易くない」ということは嘘である fact21: 「「あの当該関係行政機関は許し難くて加えて判断し難い」ということは成り立たない」ということは確かだ fact22: その近代語は第六師団だ ; $hypothesis$ = あの当該関係行政機関が許し難いならばあの御題目は第六師団である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの当該関係行政機関は許し難い; fact20 & assump1 -> int1: 「その将来設計は剔出するがしかしそれは実行し易くない」ということは成り立たない; int1 & fact5 -> int2: あの御題目は判断し難い; fact1 -> int3: もしあの御題目が判断し難いとしたらそれは第六師団である; int2 & int3 -> int4: 「あの御題目は第六師団である」ということは本当である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: 判断し難いものは第六師団だ
事実2: あの当該関係行政機関は第六師団だ
事実3: あの御題目は剔出するとすれば「「その将来設計は判断し難いけれどそれは実行し易くない」ということは成り立たない」ということは真実である
事実4: もしその将来設計は実行し易いならば「あの当該関係行政機関は許し難いが剔出しない」ということは誤っている
事実5: 仮に「その将来設計は剔出するがそれは実行し易くない」ということは誤りだとするとあの御題目は判断し難い
事実6: 「もしもその将来設計が剔出しないとするとあの御題目は判断し難い」ということは成り立つ
事実7: 「この租税法律主義は絶え間無いけれど実行し易くない」ということは誤りである
事実8: 仮にその将来設計が剔出すれば判断し難い
事実9: もしあの御題目が第六師団であるとしたらその将来設計は判断し難い
事実10: 仮に「その将来設計は剔出する」ということは成り立つとしたら「あの御題目は実行し易いけどそれは第六師団でない」ということは間違いである
事実11: 「仮にその長距離国際線が第六師団であるとすればその長距離国際線は判断し難くない」ということは本当だ
事実12: 第六師団でないしさらに利用し難くないというものはない
事実13: あの心痛は実行し易い
事実14: もし仮にその将来設計が許し難いならば実行し易い
事実15: 仮にその将来設計は第六師団ならば「あの御題目は剔出するがそれは実行し易いということはない」ということは成り立つということはない
事実16: その来春は許し難い
事実17: あの当該関係行政機関は利用し難い
事実18: もしも「あの御題目は許し難くない」ということは事実でないとすると「あの当該関係行政機関は判断し難いしそれに第六師団である」ということは真実であるということはない
事実19: その将来設計は第六師団であるならば「あの御題目は判断し難いが剔出しない」ということは成り立たない
事実20: もしもあの当該関係行政機関は許し難いとすると「その将来設計は剔出する一方でそれは実行し易くない」ということは嘘である
事実21: 「「あの当該関係行政機関は許し難くて加えて判断し難い」ということは成り立たない」ということは確かだ
事実22: その近代語は第六師団だ

仮説: あの当該関係行政機関が許し難いならばあの御題目は第六師団である
1. 仮定1: 以下のように仮定する。あの当該関係行政機関は許し難い
2. 事実20と仮定1から、推論1: "「その将来設計は剔出するがしかしそれは実行し易くない」ということは成り立たない"が導かれる
3. 推論1と事実5から、推論2: "あの御題目は判断し難い"が導かれる
4. 事実1から、推論3: "もしあの御題目が判断し難いとしたらそれは第六師団である"が導かれる
5. 推論2と推論3から、推論4: "「あの御題目は第六師団である」ということは本当である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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