その因果法則は小学校就学だということはない
fact1: もしもあの将士が節点Ｎであるとしたらこの古老達は輝き続ける fact2: 仮にこの古老達は息苦しくないとすれば「輝き続けるということはなくてそれは輝かしいということはない」ということは事実と異なる fact3: この古老達が輝かしいならばその因果法則は小学校就学だ fact4: 何かは輝き続けるとすれば「「輝かしいということはない」ということは事実と異ならない」ということは嘘だ fact5: あの将士は節点Ｎだ
fact1 & fact5 -> int1: この古老達は輝き続ける; fact4 -> int2: もし仮にこの古老達が輝き続けるとしたらそれは輝かしい; int1 & int2 -> int3: この古老達は輝かしい; int3 & fact3 -> hypothesis;
fact1 & fact5 -> int1: {B}{b}; fact4 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; int3 & fact3 -> hypothesis;
その因果法則は小学校就学でない
$facts$ = fact1: もしもあの将士が節点Ｎであるとしたらこの古老達は輝き続ける fact2: 仮にこの古老達は息苦しくないとすれば「輝き続けるということはなくてそれは輝かしいということはない」ということは事実と異なる fact3: この古老達が輝かしいならばその因果法則は小学校就学だ fact4: 何かは輝き続けるとすれば「「輝かしいということはない」ということは事実と異ならない」ということは嘘だ fact5: あの将士は節点Ｎだ ; $hypothesis$ = その因果法則は小学校就学だということはない ; $proof$ = 
fact1 & fact5 -> int1: この古老達は輝き続ける; fact4 -> int2: もし仮にこの古老達が輝き続けるとしたらそれは輝かしい; int1 & int2 -> int3: この古老達は輝かしい; int3 & fact3 -> hypothesis; __DISPROVED__
事実1: もしもあの将士が節点Ｎであるとしたらこの古老達は輝き続ける
事実2: 仮にこの古老達は息苦しくないとすれば「輝き続けるということはなくてそれは輝かしいということはない」ということは事実と異なる
事実3: この古老達が輝かしいならばその因果法則は小学校就学だ
事実4: 何かは輝き続けるとすれば「「輝かしいということはない」ということは事実と異ならない」ということは嘘だ
事実5: あの将士は節点Ｎだ

仮説: その因果法則は小学校就学だということはない
1. 事実1と事実5から、推論1: "この古老達は輝き続ける"が導かれる
2. 事実4から、推論2: "もし仮にこの古老達が輝き続けるとしたらそれは輝かしい"が導かれる
3. 推論1と推論2から、推論3: "この古老達は輝かしい"が導かれる
4. 推論3と事実3から、仮説が否定される

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