あの一断面は劣紳でない一方でそれはなっちゃんだ
fact1: なにかは把握し難いということはないとしたら「それは劣紳でないがなっちゃんである」ということは成り立たない fact2: あのルアーは焼損する fact3: その編注は焼損する fact4: もし「あの一断面は劣紳でないけどそれはなっちゃんだ」ということは間違っているならその編注はＲＨだ fact5: その編注はＲＨであるかあるいは把握し難いかまたは両方ならばそれは焼損しない
void -> assump1: 以下のように仮定する。「あの一断面は劣紳でない一方でなっちゃんだ」ということは成り立つということはない; fact4 & assump1 -> int1: その編注はＲＨである; int1 -> int2: その編注はＲＨであるかもしくはそれは把握し難いか両方だ; int2 & fact5 -> int3: その編注は焼損しない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「あの一断面は劣紳であるということはないがなっちゃんだ」ということは成り立たない
fact6 -> int5: もしあの一断面は把握し難くないならば「劣紳でないがしかしなっちゃんだ」ということは誤りである;
$facts$ = fact1: なにかは把握し難いということはないとしたら「それは劣紳でないがなっちゃんである」ということは成り立たない fact2: あのルアーは焼損する fact3: その編注は焼損する fact4: もし「あの一断面は劣紳でないけどそれはなっちゃんだ」ということは間違っているならその編注はＲＨだ fact5: その編注はＲＨであるかあるいは把握し難いかまたは両方ならばそれは焼損しない ; $hypothesis$ = あの一断面は劣紳でない一方でそれはなっちゃんだ ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの一断面は劣紳でない一方でなっちゃんだ」ということは成り立つということはない; fact4 & assump1 -> int1: その編注はＲＨである; int1 -> int2: その編注はＲＨであるかもしくはそれは把握し難いか両方だ; int2 & fact5 -> int3: その編注は焼損しない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __PROVED__
事実1: なにかは把握し難いということはないとしたら「それは劣紳でないがなっちゃんである」ということは成り立たない
事実2: あのルアーは焼損する
事実3: その編注は焼損する
事実4: もし「あの一断面は劣紳でないけどそれはなっちゃんだ」ということは間違っているならその編注はＲＨだ
事実5: その編注はＲＨであるかあるいは把握し難いかまたは両方ならばそれは焼損しない

仮説: あの一断面は劣紳でない一方でそれはなっちゃんだ
1. 仮定1: 以下のように仮定する。「あの一断面は劣紳でない一方でなっちゃんだ」ということは成り立つということはない
2. 事実4と仮定1から、推論1: "その編注はＲＨである"が導かれる
3. 推論1から、推論2: "その編注はＲＨであるかもしくはそれは把握し難いか両方だ"が導かれる
4. 推論2と事実5から、推論3: "その編注は焼損しない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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