もしもその古来が有徳人だとするとあの説得は調節出来ない
fact1: もしあの本ソフトは扱い難くないとすると「あの説得は調節出来ない」ということは事実だ fact2: もし仮に「この鐘銘は行使しないししかも揉み込まない」ということは事実と異なるならばあの本ソフトは扱い難いということはない fact3: もしもその古来は有徳人であるとしたらそれは絶え難い fact4: もし仮に「その古来は絶え難い」ということは本当だとするとこの食用茸は行使する fact5: この食用茸は行使するとすると「この鐘銘は行使するということはなくて揉み込まない」ということは間違いだ fact6: この鐘銘が扱い難いとしたらあの本ソフトは揉み込むということはない
void -> assump1: 以下のように仮定する。その古来は有徳人だ; fact3 & assump1 -> int1: その古来は絶え難い; int1 & fact4 -> int2: この食用茸は行使する; int2 & fact5 -> int3: 「この鐘銘は行使するということはなくて加えて揉み込まない」ということは成り立つということはない; int3 & fact2 -> int4: あの本ソフトは扱い難くない; int4 & fact1 -> int5: 「あの説得は調節出来ない」ということは嘘でない; [assump1] & int5 -> hypothesis;
$facts$ = fact1: もしあの本ソフトは扱い難くないとすると「あの説得は調節出来ない」ということは事実だ fact2: もし仮に「この鐘銘は行使しないししかも揉み込まない」ということは事実と異なるならばあの本ソフトは扱い難いということはない fact3: もしもその古来は有徳人であるとしたらそれは絶え難い fact4: もし仮に「その古来は絶え難い」ということは本当だとするとこの食用茸は行使する fact5: この食用茸は行使するとすると「この鐘銘は行使するということはなくて揉み込まない」ということは間違いだ fact6: この鐘銘が扱い難いとしたらあの本ソフトは揉み込むということはない ; $hypothesis$ = もしもその古来が有徳人だとするとあの説得は調節出来ない ; $proof$ = 
void -> assump1: 以下のように仮定する。その古来は有徳人だ; fact3 & assump1 -> int1: その古来は絶え難い; int1 & fact4 -> int2: この食用茸は行使する; int2 & fact5 -> int3: 「この鐘銘は行使するということはなくて加えて揉み込まない」ということは成り立つということはない; int3 & fact2 -> int4: あの本ソフトは扱い難くない; int4 & fact1 -> int5: 「あの説得は調節出来ない」ということは嘘でない; [assump1] & int5 -> hypothesis; __PROVED__
事実1: もしあの本ソフトは扱い難くないとすると「あの説得は調節出来ない」ということは事実だ
事実2: もし仮に「この鐘銘は行使しないししかも揉み込まない」ということは事実と異なるならばあの本ソフトは扱い難いということはない
事実3: もしもその古来は有徳人であるとしたらそれは絶え難い
事実4: もし仮に「その古来は絶え難い」ということは本当だとするとこの食用茸は行使する
事実5: この食用茸は行使するとすると「この鐘銘は行使するということはなくて揉み込まない」ということは間違いだ
事実6: この鐘銘が扱い難いとしたらあの本ソフトは揉み込むということはない

仮説: もしもその古来が有徳人だとするとあの説得は調節出来ない
1. 仮定1: 以下のように仮定する。その古来は有徳人だ
2. 事実3と仮定1から、推論1: "その古来は絶え難い"が導かれる
3. 推論1と事実4から、推論2: "この食用茸は行使する"が導かれる
4. 推論2と事実5から、推論3: "「この鐘銘は行使するということはなくて加えて揉み込まない」ということは成り立つということはない"が導かれる
5. 推論3と事実2から、推論4: "あの本ソフトは扱い難くない"が導かれる
6. 推論4と事実1から、推論5: "「あの説得は調節出来ない」ということは嘘でない"が導かれる
7. [仮定1]と推論5から、仮説が導かれる

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