「この労働者階級が逃れ難いとするとそのソースは凱旋する」ということは確かである
fact1: もし仮に何らかのものが凱旋するならそれは遣り辛くないしかつ欠席数である fact2: そのソースが逃れ難いならばこの労働者階級は逃れ難くない一方で中和する fact3: そのソースは御強い fact4: もしそのソースが欠席数であるならばこの労働者階級は中和する fact5: この労働者階級が欠席数でないけど御強いとすれば逃れ難いということはない fact6: そのソースは手入れだ fact7: 仮にこの労働者階級は欠席数であるとすると中和する fact8: もし仮に「「御強いかもしくは逃れ難い」ということは確かである」ものがあるならあの今朝方は凱旋する fact9: もし仮にそのソースが中和するならそれは欠席数だ fact10: あの子供期は手入れでないけどそれは気後れする fact11: もし仮に「そのソースは凱旋する」ということは確かならそれは中和するしさらに手入れだ fact12: この労働者階級は子供らしいということはない fact13: 「全ての物は参院選であるしかつ確定し得る」ということは確かである fact14: 仮にそのソースが手入れでないけど御強いとすれば欠席数でない fact15: もし仮に「そのソースは倒れ難い」ということは正しいとすればそれは並み居る fact16: もしこの労働者階級は欠席数であるとすれば「そのソースは御強い」ということは成り立つ fact17: そのソースが欠席数であるとすればこの労働者階級は欠席数でないけれどそれは御強い fact18: もし仮にそのソースが凱旋しないとしたら中和するし手入れだ fact19: この労働者階級は御強い fact20: 仮にこの労働者階級は確定し得ないとしたら「それは肌寒いし帰依する」ということは事実である fact21: もし仮に参院選が確定し得るなら少なしない
void -> assump1: 以下のように仮定する。そのソースは凱旋しない; fact18 & assump1 -> int1: そのソースは中和するし手入れである; int1 -> int2: そのソースは中和する; int2 & fact9 -> int3: 「そのソースは欠席数である」ということは本当だ; int3 & fact17 -> int4: この労働者階級は欠席数でない一方で御強い; int4 & fact5 -> int5: この労働者階級は逃れ難くない; void -> assump2: 以下のように仮定する。「この労働者階級は逃れ難い」ということは正しい; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのソースは凱旋する; [assump2] & int7 -> hypothesis;
「あの今朝方は遣り辛くないがしかし欠席数だ」ということは事実だ
fact25 -> int8: もし「あの今朝方は凱旋する」ということは誤りでないならそれは遣り辛くないけど欠席数である; fact24 -> int9: もしもこの原動機が参院選だし確定し得るとすると少なしない; fact23 -> int10: この原動機は参院選で確定し得る; int9 & int10 -> int11: この原動機は少なしない; int11 -> int12: 「何もかもは少なしない」ということは成り立つ; int12 -> int13: 「この労働者階級は少なしない」ということは成り立つ;
$facts$ = fact1: もし仮に何らかのものが凱旋するならそれは遣り辛くないしかつ欠席数である fact2: そのソースが逃れ難いならばこの労働者階級は逃れ難くない一方で中和する fact3: そのソースは御強い fact4: もしそのソースが欠席数であるならばこの労働者階級は中和する fact5: この労働者階級が欠席数でないけど御強いとすれば逃れ難いということはない fact6: そのソースは手入れだ fact7: 仮にこの労働者階級は欠席数であるとすると中和する fact8: もし仮に「「御強いかもしくは逃れ難い」ということは確かである」ものがあるならあの今朝方は凱旋する fact9: もし仮にそのソースが中和するならそれは欠席数だ fact10: あの子供期は手入れでないけどそれは気後れする fact11: もし仮に「そのソースは凱旋する」ということは確かならそれは中和するしさらに手入れだ fact12: この労働者階級は子供らしいということはない fact13: 「全ての物は参院選であるしかつ確定し得る」ということは確かである fact14: 仮にそのソースが手入れでないけど御強いとすれば欠席数でない fact15: もし仮に「そのソースは倒れ難い」ということは正しいとすればそれは並み居る fact16: もしこの労働者階級は欠席数であるとすれば「そのソースは御強い」ということは成り立つ fact17: そのソースが欠席数であるとすればこの労働者階級は欠席数でないけれどそれは御強い fact18: もし仮にそのソースが凱旋しないとしたら中和するし手入れだ fact19: この労働者階級は御強い fact20: 仮にこの労働者階級は確定し得ないとしたら「それは肌寒いし帰依する」ということは事実である fact21: もし仮に参院選が確定し得るなら少なしない ; $hypothesis$ = 「この労働者階級が逃れ難いとするとそのソースは凱旋する」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。そのソースは凱旋しない; fact18 & assump1 -> int1: そのソースは中和するし手入れである; int1 -> int2: そのソースは中和する; int2 & fact9 -> int3: 「そのソースは欠席数である」ということは本当だ; int3 & fact17 -> int4: この労働者階級は欠席数でない一方で御強い; int4 & fact5 -> int5: この労働者階級は逃れ難くない; void -> assump2: 以下のように仮定する。「この労働者階級は逃れ難い」ということは正しい; int5 & assump2 -> int6: これは矛盾である; [assump1] & int6 -> int7: そのソースは凱旋する; [assump2] & int7 -> hypothesis; __PROVED__
事実1: もし仮に何らかのものが凱旋するならそれは遣り辛くないしかつ欠席数である
事実2: そのソースが逃れ難いならばこの労働者階級は逃れ難くない一方で中和する
事実3: そのソースは御強い
事実4: もしそのソースが欠席数であるならばこの労働者階級は中和する
事実5: この労働者階級が欠席数でないけど御強いとすれば逃れ難いということはない
事実6: そのソースは手入れだ
事実7: 仮にこの労働者階級は欠席数であるとすると中和する
事実8: もし仮に「「御強いかもしくは逃れ難い」ということは確かである」ものがあるならあの今朝方は凱旋する
事実9: もし仮にそのソースが中和するならそれは欠席数だ
事実10: あの子供期は手入れでないけどそれは気後れする
事実11: もし仮に「そのソースは凱旋する」ということは確かならそれは中和するしさらに手入れだ
事実12: この労働者階級は子供らしいということはない
事実13: 「全ての物は参院選であるしかつ確定し得る」ということは確かである
事実14: 仮にそのソースが手入れでないけど御強いとすれば欠席数でない
事実15: もし仮に「そのソースは倒れ難い」ということは正しいとすればそれは並み居る
事実16: もしこの労働者階級は欠席数であるとすれば「そのソースは御強い」ということは成り立つ
事実17: そのソースが欠席数であるとすればこの労働者階級は欠席数でないけれどそれは御強い
事実18: もし仮にそのソースが凱旋しないとしたら中和するし手入れだ
事実19: この労働者階級は御強い
事実20: 仮にこの労働者階級は確定し得ないとしたら「それは肌寒いし帰依する」ということは事実である
事実21: もし仮に参院選が確定し得るなら少なしない

仮説: 「この労働者階級が逃れ難いとするとそのソースは凱旋する」ということは確かである
1. 仮定1: 以下のように仮定する。そのソースは凱旋しない
2. 事実18と仮定1から、推論1: "そのソースは中和するし手入れである"が導かれる
3. 推論1から、推論2: "そのソースは中和する"が導かれる
4. 推論2と事実9から、推論3: "「そのソースは欠席数である」ということは本当だ"が導かれる
5. 推論3と事実17から、推論4: "この労働者階級は欠席数でない一方で御強い"が導かれる
6. 推論4と事実5から、推論5: "この労働者階級は逃れ難くない"が導かれる
7. 仮定2: 以下のように仮定する。「この労働者階級は逃れ難い」ということは正しい
8. 推論5と仮定2から、推論6: "これは矛盾である"が導かれる
9. [仮定1]と推論6から、推論7: "そのソースは凱旋する"が導かれる
10. [仮定2]と推論7から、仮説が導かれる

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