あの報告式は移封しない
fact1: 仮になんらかの物が乗り変わるとすると移封する fact2: あの期間等は委任でない fact3: あの報告式は委任であるということはない fact4: あの報告式は三分の二以上だ fact5: もしもなにかは御若くないとしたら「それは反対請求でないし更に来し易くない」ということは間違いだ fact6: 何らかのものが乗り変わるか反対請求でないかまたは両方ならあの報告式は移封しない fact7: このデジタル署名は来し易い fact8: 「「このデジタル署名は東禅寺だけど仲間らしくない」ということは事実である」ということは偽だとするとあの特別多数決議は御若くない fact9: このデジタル署名は委任だ fact10: 「とあるものは乗り変わるかまたはそれは反対請求だ」ということは確かだ fact11: もし仮に「「反対請求でない」ということは成り立つ」物があればあの報告式は移封しない fact12: 仮にあの乱雑は実刑判決なら「レトリックであるし加えて欠かせらない」ということは成り立たない fact13: 仮になにかは乗り変わるとしたら委任でない fact14: このデジタル署名は実質負担する fact15: あの報告式は猪牙でない fact16: 仮にあるものが絵空言でないとしたらあの乱雑は実刑判決でかつ珍しい fact17: このデジタル署名は三分の二以上でない fact18: もしなんらかの物が欠かせればこの非線形回転発条は仲間らしい fact19: あの特別多数決議は乗り変わるかあるいは反対請求であるかどちらもである fact20: このデジタル署名は温暖化対策だ fact21: 仮にあの特別多数決議は乗り変わらないなら「このデジタル署名は委任であるがしかし三分の二以上でない」ということは成り立たない fact22: 「絵空言だということはない」ものはある fact23: もしも「あるものはレトリックだが欠かせらない」ということは正しくないとするとそれは欠かせる fact24: この脱落は委任だ
void -> assump1: 以下のように仮定する。あの特別多数決議は乗り変わらない; fact21 & assump1 -> int1: 「このデジタル署名は委任だ一方で三分の二以上だということはない」ということは成り立たない; fact17 & fact9 -> int2: このデジタル署名は委任であるが三分の二以上でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの特別多数決議は乗り変わる; int4 -> int5: あの特別多数決議は乗り変わるかもしくは反対請求であるということはない; int5 -> int6: 「乗り変わるかまたは反対請求だということはない」ものはある; int6 & fact6 -> hypothesis;
あの報告式は移封する
fact31 -> int7: もし仮にあの報告式が乗り変わるとしたらそれは移封する; fact27 -> int8: もし仮に「あの特別多数決議は御若くない」ということは本当であるとすると「反対請求だということはないし加えて来し易くない」ということは偽だ; fact28 -> int9: もし仮に「あの乱雑はレトリックだけれど欠かせらない」ということは成り立たないならばそれは欠かせる; fact29 & fact30 -> int10: あの乱雑が実刑判決だし珍しい; int10 -> int11: あの乱雑は実刑判決だ; fact25 & int11 -> int12: 「あの乱雑はレトリックだけれどそれは欠かせらない」ということは事実と異なる; int9 & int12 -> int13: あの乱雑は欠かせる; int13 -> int14: 「欠かせる」物はある; int14 & fact26 -> int15: この非線形回転発条は仲間らしい; int15 -> int16: 「仲間らしい」物はある;
$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: この脱落は委任だ ; $hypothesis$ = あの報告式は移封しない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの特別多数決議は乗り変わらない; fact21 & assump1 -> int1: 「このデジタル署名は委任だ一方で三分の二以上だということはない」ということは成り立たない; fact17 & fact9 -> int2: このデジタル署名は委任であるが三分の二以上でない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの特別多数決議は乗り変わる; int4 -> int5: あの特別多数決議は乗り変わるかもしくは反対請求であるということはない; int5 -> int6: 「乗り変わるかまたは反対請求だということはない」ものはある; int6 & fact6 -> 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: この脱落は委任だ

仮説: あの報告式は移封しない
1. 仮定1: 以下のように仮定する。あの特別多数決議は乗り変わらない
2. 事実21と仮定1から、推論1: "「このデジタル署名は委任だ一方で三分の二以上だということはない」ということは成り立たない"が導かれる
3. 事実17と事実9から、推論2: "このデジタル署名は委任であるが三分の二以上でない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの特別多数決議は乗り変わる"が導かれる
6. 推論4から、推論5: "あの特別多数決議は乗り変わるかもしくは反対請求であるということはない"が導かれる
7. 推論5から、推論6: "「乗り変わるかまたは反対請求だということはない」ものはある"が導かれる
8. 推論6と事実6から、仮説が導かれる

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