あの奴隷解放は冬でないかまたは法定するかどちらもである
fact1: もしあの奴隷解放がしどけないならば粉っぽくない fact2: この御連れは再配分する fact3: 「この御連れは床しかない」ということは成り立つ fact4: 仮になにかは疾しなら畳み掛ける fact5: 「あの奴隷解放は畳み掛けないかまたは冬であるかあるいは両方である」ということは成り立たないならこの御連れは法定する fact6: もしもなにがしかの物は畳み掛けないとしたら「それは冬であるということはないかまたは法定する」ということは嘘だ fact7: あの奴隷解放は会計情報だ fact8: 仮にこの御連れが畳み掛ければそれは会計情報である fact9: あの奴隷解放は冬であるかもしくは法定するかどちらもだ fact10: もし仮に「あの奴隷解放は冬でないかそれは法定するかあるいはどちらもだ」ということは偽だとすればこの御連れは疾し fact11: もし仮にこの御連れが再配分するとするとそれは会計情報でなくておまけにそれは床しかない fact12: あの若年者は会計情報である fact13: あの締め方は冬である
void -> assump1: 以下のように仮定する。「あの奴隷解放は冬でないかもしくは法定するかもしくはどちらもである」ということは誤っている; fact10 & assump1 -> int1: この御連れは疾し; fact4 -> int2: もしこの御連れが疾しとするとそれは畳み掛ける; int1 & int2 -> int3: この御連れは畳み掛ける; int3 & fact8 -> int4: この御連れは会計情報だ; fact11 & fact2 -> int5: この御連れは会計情報でなくて床しいということはない; int5 -> int6: 「この御連れは会計情報でない」ということは成り立つ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis;
「あの奴隷解放は冬でないかまたはそれは法定するかまたは両方ともだ」ということは成り立たない
fact15 -> int8: もしあの奴隷解放は畳み掛けないならば「それは冬でないかまたは法定するかもしくは両方だ」ということは事実と異なる; fact14 -> int9: 「会計情報な」物はある;
$facts$ = fact1: もしあの奴隷解放がしどけないならば粉っぽくない fact2: この御連れは再配分する fact3: 「この御連れは床しかない」ということは成り立つ fact4: 仮になにかは疾しなら畳み掛ける fact5: 「あの奴隷解放は畳み掛けないかまたは冬であるかあるいは両方である」ということは成り立たないならこの御連れは法定する fact6: もしもなにがしかの物は畳み掛けないとしたら「それは冬であるということはないかまたは法定する」ということは嘘だ fact7: あの奴隷解放は会計情報だ fact8: 仮にこの御連れが畳み掛ければそれは会計情報である fact9: あの奴隷解放は冬であるかもしくは法定するかどちらもだ fact10: もし仮に「あの奴隷解放は冬でないかそれは法定するかあるいはどちらもだ」ということは偽だとすればこの御連れは疾し fact11: もし仮にこの御連れが再配分するとするとそれは会計情報でなくておまけにそれは床しかない fact12: あの若年者は会計情報である fact13: あの締め方は冬である ; $hypothesis$ = あの奴隷解放は冬でないかまたは法定するかどちらもである ; $proof$ = 
void -> assump1: 以下のように仮定する。「あの奴隷解放は冬でないかもしくは法定するかもしくはどちらもである」ということは誤っている; fact10 & assump1 -> int1: この御連れは疾し; fact4 -> int2: もしこの御連れが疾しとするとそれは畳み掛ける; int1 & int2 -> int3: この御連れは畳み掛ける; int3 & fact8 -> int4: この御連れは会計情報だ; fact11 & fact2 -> int5: この御連れは会計情報でなくて床しいということはない; int5 -> int6: 「この御連れは会計情報でない」ということは成り立つ; int4 & int6 -> int7: これは矛盾である; [assump1] & int7 -> hypothesis; __PROVED__
事実1: もしあの奴隷解放がしどけないならば粉っぽくない
事実2: この御連れは再配分する
事実3: 「この御連れは床しかない」ということは成り立つ
事実4: 仮になにかは疾しなら畳み掛ける
事実5: 「あの奴隷解放は畳み掛けないかまたは冬であるかあるいは両方である」ということは成り立たないならこの御連れは法定する
事実6: もしもなにがしかの物は畳み掛けないとしたら「それは冬であるということはないかまたは法定する」ということは嘘だ
事実7: あの奴隷解放は会計情報だ
事実8: 仮にこの御連れが畳み掛ければそれは会計情報である
事実9: あの奴隷解放は冬であるかもしくは法定するかどちらもだ
事実10: もし仮に「あの奴隷解放は冬でないかそれは法定するかあるいはどちらもだ」ということは偽だとすればこの御連れは疾し
事実11: もし仮にこの御連れが再配分するとするとそれは会計情報でなくておまけにそれは床しかない
事実12: あの若年者は会計情報である
事実13: あの締め方は冬である

仮説: あの奴隷解放は冬でないかまたは法定するかどちらもである
1. 仮定1: 以下のように仮定する。「あの奴隷解放は冬でないかもしくは法定するかもしくはどちらもである」ということは誤っている
2. 事実10と仮定1から、推論1: "この御連れは疾し"が導かれる
3. 事実4から、推論2: "もしこの御連れが疾しとするとそれは畳み掛ける"が導かれる
4. 推論1と推論2から、推論3: "この御連れは畳み掛ける"が導かれる
5. 推論3と事実8から、推論4: "この御連れは会計情報だ"が導かれる
6. 事実11と事実2から、推論5: "この御連れは会計情報でなくて床しいということはない"が導かれる
7. 推論5から、推論6: "「この御連れは会計情報でない」ということは成り立つ"が導かれる
8. 推論4と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、仮説が導かれる

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