その判官様は時間境界線でない
fact1: その経典は将軍霊廟であるしそれに拙い fact2: もしカットオフ周波数が実利重視だとすればそれは将軍霊廟だということはない fact3: 仮にあのＵＤＰが拙くないがそれが拭い難いなら時間境界線でない fact4: 仮にあのＵＤＰは時間境界線でないならば「捕まえ易くないしそれは実利重視である」ということは成り立たない fact5: なんらかのものが実利重視だということはないならばそれは心無いかそれは天狗らしい fact6: もし仮に拙いものが捕まえ易いとすれば将軍霊廟であるということはない fact7: その判官様は将軍霊廟である fact8: その経典は木らしいものでかつ拭い難くない fact9: もしそのケルト諸語が木らしいならばあのＵＤＰは木らしくない fact10: もしとあるものがカットオフ周波数だとしたら測り難い fact11: 仮にその判官様はカットオフ周波数であるけど心無くないとするとそれは木らしい fact12: あのＵＤＰは実利重視だということはないとしたら「その経典はカットオフ周波数であるが将軍霊廟でない」ということは成り立たない fact13: もし仮に何らかの物が心無いがそれが捕まえ易くないとしたら時間境界線でない fact14: あのＵＤＰが木らしいということはないとすればそれは心無くなくてそれに拭い難い fact15: もしもその経典が天狗らしくないとするとその判官様は心無いがそれは捕まえ易くない fact16: そのケルト諸語は武具であるかあるいは木らしい fact17: その経典は短いということはない fact18: もし仮にその経典が心無くないとしたらその判官様は拙い一方で天狗らしくない fact19: 「もしその経典が天狗らしいとするとその経典はカットオフ周波数である」ということは本当だ fact20: 仮にそのケルト諸語が武具だとするとあのＵＤＰは木らしくない fact21: もし仮にその判官様は時間境界線であるとしたらそれは将軍霊廟である fact22: もし仮にその経典が木らしいがそれが拭い難くないとすると実利重視である fact23: 心無くないものが捕まえ易くないとするとそれは実利重視でない fact24: あのＵＤＰが拙くないとするとそれは捕まえ易くない fact25: もし仮にその経典が心無いならその判官様は心無い
void -> assump1: 以下のように仮定する。その経典は天狗らしい; fact19 & assump1 -> int1: その経典はカットオフ周波数だ; fact22 & fact8 -> int2: その経典は実利重視だ; int1 & int2 -> int3: その経典はカットオフ周波数であるし更に実利重視だ; fact2 -> int4: もし仮にその経典がカットオフ周波数だし実利重視だとしたら将軍霊廟でない; int3 & int4 -> int5: その経典は将軍霊廟だということはない; fact1 -> int6: その経典は将軍霊廟である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その経典は天狗らしくない; int8 & fact15 -> int9: その判官様は心無いが捕まえ易くない; fact13 -> int10: 仮にその判官様は心無いけど捕まえ易いということはないならそれは時間境界線でない; int9 & int10 -> hypothesis;
その判官様は測り難くてさらに心無い
fact29 -> int11: もし仮にその判官様はカットオフ周波数であるならそれは測り難い; fact26 -> int12: 「その経典は実利重視でない」ということは事実ならそれは心無いかもしくは天狗らしい;
$facts$ = fact1: その経典は将軍霊廟であるしそれに拙い fact2: もしカットオフ周波数が実利重視だとすればそれは将軍霊廟だということはない fact3: 仮にあのＵＤＰが拙くないがそれが拭い難いなら時間境界線でない fact4: 仮にあのＵＤＰは時間境界線でないならば「捕まえ易くないしそれは実利重視である」ということは成り立たない fact5: なんらかのものが実利重視だということはないならばそれは心無いかそれは天狗らしい fact6: もし仮に拙いものが捕まえ易いとすれば将軍霊廟であるということはない fact7: その判官様は将軍霊廟である fact8: その経典は木らしいものでかつ拭い難くない fact9: もしそのケルト諸語が木らしいならばあのＵＤＰは木らしくない fact10: もしとあるものがカットオフ周波数だとしたら測り難い fact11: 仮にその判官様はカットオフ周波数であるけど心無くないとするとそれは木らしい fact12: あのＵＤＰは実利重視だということはないとしたら「その経典はカットオフ周波数であるが将軍霊廟でない」ということは成り立たない fact13: もし仮に何らかの物が心無いがそれが捕まえ易くないとしたら時間境界線でない fact14: あのＵＤＰが木らしいということはないとすればそれは心無くなくてそれに拭い難い fact15: もしもその経典が天狗らしくないとするとその判官様は心無いがそれは捕まえ易くない fact16: そのケルト諸語は武具であるかあるいは木らしい fact17: その経典は短いということはない fact18: もし仮にその経典が心無くないとしたらその判官様は拙い一方で天狗らしくない fact19: 「もしその経典が天狗らしいとするとその経典はカットオフ周波数である」ということは本当だ fact20: 仮にそのケルト諸語が武具だとするとあのＵＤＰは木らしくない fact21: もし仮にその判官様は時間境界線であるとしたらそれは将軍霊廟である fact22: もし仮にその経典が木らしいがそれが拭い難くないとすると実利重視である fact23: 心無くないものが捕まえ易くないとするとそれは実利重視でない fact24: あのＵＤＰが拙くないとするとそれは捕まえ易くない fact25: もし仮にその経典が心無いならその判官様は心無い ; $hypothesis$ = その判官様は時間境界線でない ; $proof$ = 
void -> assump1: 以下のように仮定する。その経典は天狗らしい; fact19 & assump1 -> int1: その経典はカットオフ周波数だ; fact22 & fact8 -> int2: その経典は実利重視だ; int1 & int2 -> int3: その経典はカットオフ周波数であるし更に実利重視だ; fact2 -> int4: もし仮にその経典がカットオフ周波数だし実利重視だとしたら将軍霊廟でない; int3 & int4 -> int5: その経典は将軍霊廟だということはない; fact1 -> int6: その経典は将軍霊廟である; int5 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: その経典は天狗らしくない; int8 & fact15 -> int9: その判官様は心無いが捕まえ易くない; fact13 -> int10: 仮にその判官様は心無いけど捕まえ易いということはないならそれは時間境界線でない; int9 & int10 -> hypothesis; __PROVED__
事実1: その経典は将軍霊廟であるしそれに拙い
事実2: もしカットオフ周波数が実利重視だとすればそれは将軍霊廟だということはない
事実3: 仮にあのＵＤＰが拙くないがそれが拭い難いなら時間境界線でない
事実4: 仮にあのＵＤＰは時間境界線でないならば「捕まえ易くないしそれは実利重視である」ということは成り立たない
事実5: なんらかのものが実利重視だということはないならばそれは心無いかそれは天狗らしい
事実6: もし仮に拙いものが捕まえ易いとすれば将軍霊廟であるということはない
事実7: その判官様は将軍霊廟である
事実8: その経典は木らしいものでかつ拭い難くない
事実9: もしそのケルト諸語が木らしいならばあのＵＤＰは木らしくない
事実10: もしとあるものがカットオフ周波数だとしたら測り難い
事実11: 仮にその判官様はカットオフ周波数であるけど心無くないとするとそれは木らしい
事実12: あのＵＤＰは実利重視だということはないとしたら「その経典はカットオフ周波数であるが将軍霊廟でない」ということは成り立たない
事実13: もし仮に何らかの物が心無いがそれが捕まえ易くないとしたら時間境界線でない
事実14: あのＵＤＰが木らしいということはないとすればそれは心無くなくてそれに拭い難い
事実15: もしもその経典が天狗らしくないとするとその判官様は心無いがそれは捕まえ易くない
事実16: そのケルト諸語は武具であるかあるいは木らしい
事実17: その経典は短いということはない
事実18: もし仮にその経典が心無くないとしたらその判官様は拙い一方で天狗らしくない
事実19: 「もしその経典が天狗らしいとするとその経典はカットオフ周波数である」ということは本当だ
事実20: 仮にそのケルト諸語が武具だとするとあのＵＤＰは木らしくない
事実21: もし仮にその判官様は時間境界線であるとしたらそれは将軍霊廟である
事実22: もし仮にその経典が木らしいがそれが拭い難くないとすると実利重視である
事実23: 心無くないものが捕まえ易くないとするとそれは実利重視でない
事実24: あのＵＤＰが拙くないとするとそれは捕まえ易くない
事実25: もし仮にその経典が心無いならその判官様は心無い

仮説: その判官様は時間境界線でない
1. 仮定1: 以下のように仮定する。その経典は天狗らしい
2. 事実19と仮定1から、推論1: "その経典はカットオフ周波数だ"が導かれる
3. 事実22と事実8から、推論2: "その経典は実利重視だ"が導かれる
4. 推論1と推論2から、推論3: "その経典はカットオフ周波数であるし更に実利重視だ"が導かれる
5. 事実2から、推論4: "もし仮にその経典がカットオフ周波数だし実利重視だとしたら将軍霊廟でない"が導かれる
6. 推論3と推論4から、推論5: "その経典は将軍霊廟だということはない"が導かれる
7. 事実1から、推論6: "その経典は将軍霊廟である"が導かれる
8. 推論5と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "その経典は天狗らしくない"が導かれる
10. 推論8と事実15から、推論9: "その判官様は心無いが捕まえ易くない"が導かれる
11. 事実13から、推論10: "仮にその判官様は心無いけど捕まえ易いということはないならそれは時間境界線でない"が導かれる
12. 推論9と推論10から、仮説が導かれる

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