その鼻音は安堵しない
fact1: この法門は入れ易くない fact2: 「「入れ易くないけど売り続ける」ということは成り立たない」物はある fact3: もしも「「入れ易くないし更に売り続けない」ということは成り立たない」物があるとしたらその鼻音は安堵するということはない fact4: 「この法門は売り続ける」ということは事実と異ならない fact5: 「「入れ易いしさらに売り続けない」ということは誤りである」ものはある fact6: 「入れ易くなくて加えて売り続けない」物はある fact7: 「この世襲表は売り続ける」ということは事実と異ならない
void -> assump1: 以下のように仮定する。この法門は入れ易くなくてしかも売り続けない; assump1 -> int1: この法門は売り続けない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この法門は入れ易くなくて加えて売り続けない」ということは嘘だ; int3 -> int4: 「「入れ易くなくてそれに売り続けない」ということは本当だということはない」ものはある; int4 & fact3 -> hypothesis;
$facts$ = fact1: この法門は入れ易くない fact2: 「「入れ易くないけど売り続ける」ということは成り立たない」物はある fact3: もしも「「入れ易くないし更に売り続けない」ということは成り立たない」物があるとしたらその鼻音は安堵するということはない fact4: 「この法門は売り続ける」ということは事実と異ならない fact5: 「「入れ易いしさらに売り続けない」ということは誤りである」ものはある fact6: 「入れ易くなくて加えて売り続けない」物はある fact7: 「この世襲表は売り続ける」ということは事実と異ならない ; $hypothesis$ = その鼻音は安堵しない ; $proof$ = 
void -> assump1: 以下のように仮定する。この法門は入れ易くなくてしかも売り続けない; assump1 -> int1: この法門は売り続けない; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「この法門は入れ易くなくて加えて売り続けない」ということは嘘だ; int3 -> int4: 「「入れ易くなくてそれに売り続けない」ということは本当だということはない」ものはある; int4 & fact3 -> hypothesis; __PROVED__
事実1: この法門は入れ易くない
事実2: 「「入れ易くないけど売り続ける」ということは成り立たない」物はある
事実3: もしも「「入れ易くないし更に売り続けない」ということは成り立たない」物があるとしたらその鼻音は安堵するということはない
事実4: 「この法門は売り続ける」ということは事実と異ならない
事実5: 「「入れ易いしさらに売り続けない」ということは誤りである」ものはある
事実6: 「入れ易くなくて加えて売り続けない」物はある
事実7: 「この世襲表は売り続ける」ということは事実と異ならない

仮説: その鼻音は安堵しない
1. 仮定1: 以下のように仮定する。この法門は入れ易くなくてしかも売り続けない
2. 仮定1から、推論1: "この法門は売り続けない"が導かれる
3. 推論1と事実4から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "「この法門は入れ易くなくて加えて売り続けない」ということは嘘だ"が導かれる
5. 推論3から、推論4: "「「入れ易くなくてそれに売り続けない」ということは本当だということはない」ものはある"が導かれる
6. 推論4と事実3から、仮説が導かれる

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