このエスプレッシーボは御雇うということはない
fact1: もしも「とあるものは陳情するということはない」ということは本当であるとするとそれは御雇う fact2: もし「あの生産規模は分掌であるしその上痛々しい」ということは偽だとするとあの明日葉は得易いということはない fact3: 仮に「ある物は免許であるかそれは分掌でない」ということは嘘であるとするとそれは得易い fact4: あの明日葉は作業出来る fact5: もし仮に「あの悔いは痛々しい」ということは間違っているとしたらこのエスプレッシーボは御雇わない fact6: 「あの悔いは免許であるかそれは分掌であるということはないか両方ともだ」ということは成り立たない fact7: 「あの明日葉は仮装するかもしくは痛々しくないかもしくはどちらもである」ということは誤っている fact8: あの悔いが陳情するしその上得易いとすればそれは痛々しくない fact9: もし「あの脇君は起こし難いし更に借り換える」ということは成り立つなら「それは生き難い」ということは成り立たない fact10: もしも「「「利用者アンケート調査だし仮装しない」ということは本当だ」ということは間違いである」物があるならあの悔いは仮装する fact11: もし仮にあの明日葉は痛々しくて仮装するとすると「それは分掌でない」ということは誤りでない fact12: もしあの明日葉は作業出来るなら「それは利用者アンケート調査である一方で仮装しない」ということは偽だ fact13: もしも何かは陳情するとしたらそれは利用者アンケート調査である fact14: 仮にある物はアンコーでないとしたら「住み易いということはない」ということは間違っていない fact15: もし仮に「何かは陳情しない」ということは成り立つならそれは告発しないしかつそれは仮装しない
fact15 -> int1: 「あの悔いは陳情しない」ということは間違っていないとしたらそれは告発しなくて更に仮装するということはない; void -> assump1: 以下のように仮定する。あの悔いは陳情するということはない; int1 & assump1 -> int2: あの悔いは告発しないし仮装しない; int2 -> int3: あの悔いは仮装しない; fact12 & fact4 -> int4: 「「あの明日葉は利用者アンケート調査だ一方で仮装しない」ということは事実と異なる」ということは事実である; int4 -> int5: 「「利用者アンケート調査だしさらに仮装しない」ということは間違っている」ものはある; fact10 & int5 -> int6: あの悔いは仮装する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの悔いは陳情する; fact3 -> int9: もし仮に「あの悔いは免許であるかまたはそれは分掌でないかあるいは両方ともだ」ということは成り立たないとするとそれは得易い; fact6 & int9 -> int10: あの悔いは得易い; int8 & int10 -> int11: あの悔いは陳情するしかつ得易い; int11 & fact8 -> int12: 「あの悔いは痛々しいということはない」ということは正しい; int12 & fact5 -> hypothesis;
このエスプレッシーボは利用者アンケート調査である
fact16 -> int13: もし「このエスプレッシーボは陳情する」ということは真実であるなら「それは利用者アンケート調査である」ということは嘘でない;
$facts$ = fact1: もしも「とあるものは陳情するということはない」ということは本当であるとするとそれは御雇う fact2: もし「あの生産規模は分掌であるしその上痛々しい」ということは偽だとするとあの明日葉は得易いということはない fact3: 仮に「ある物は免許であるかそれは分掌でない」ということは嘘であるとするとそれは得易い fact4: あの明日葉は作業出来る fact5: もし仮に「あの悔いは痛々しい」ということは間違っているとしたらこのエスプレッシーボは御雇わない fact6: 「あの悔いは免許であるかそれは分掌であるということはないか両方ともだ」ということは成り立たない fact7: 「あの明日葉は仮装するかもしくは痛々しくないかもしくはどちらもである」ということは誤っている fact8: あの悔いが陳情するしその上得易いとすればそれは痛々しくない fact9: もし「あの脇君は起こし難いし更に借り換える」ということは成り立つなら「それは生き難い」ということは成り立たない fact10: もしも「「「利用者アンケート調査だし仮装しない」ということは本当だ」ということは間違いである」物があるならあの悔いは仮装する fact11: もし仮にあの明日葉は痛々しくて仮装するとすると「それは分掌でない」ということは誤りでない fact12: もしあの明日葉は作業出来るなら「それは利用者アンケート調査である一方で仮装しない」ということは偽だ fact13: もしも何かは陳情するとしたらそれは利用者アンケート調査である fact14: 仮にある物はアンコーでないとしたら「住み易いということはない」ということは間違っていない fact15: もし仮に「何かは陳情しない」ということは成り立つならそれは告発しないしかつそれは仮装しない ; $hypothesis$ = このエスプレッシーボは御雇うということはない ; $proof$ = 
fact15 -> int1: 「あの悔いは陳情しない」ということは間違っていないとしたらそれは告発しなくて更に仮装するということはない; void -> assump1: 以下のように仮定する。あの悔いは陳情するということはない; int1 & assump1 -> int2: あの悔いは告発しないし仮装しない; int2 -> int3: あの悔いは仮装しない; fact12 & fact4 -> int4: 「「あの明日葉は利用者アンケート調査だ一方で仮装しない」ということは事実と異なる」ということは事実である; int4 -> int5: 「「利用者アンケート調査だしさらに仮装しない」ということは間違っている」ものはある; fact10 & int5 -> int6: あの悔いは仮装する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの悔いは陳情する; fact3 -> int9: もし仮に「あの悔いは免許であるかまたはそれは分掌でないかあるいは両方ともだ」ということは成り立たないとするとそれは得易い; fact6 & int9 -> int10: あの悔いは得易い; int8 & int10 -> int11: あの悔いは陳情するしかつ得易い; int11 & fact8 -> int12: 「あの悔いは痛々しいということはない」ということは正しい; int12 & fact5 -> hypothesis; __PROVED__
事実1: もしも「とあるものは陳情するということはない」ということは本当であるとするとそれは御雇う
事実2: もし「あの生産規模は分掌であるしその上痛々しい」ということは偽だとするとあの明日葉は得易いということはない
事実3: 仮に「ある物は免許であるかそれは分掌でない」ということは嘘であるとするとそれは得易い
事実4: あの明日葉は作業出来る
事実5: もし仮に「あの悔いは痛々しい」ということは間違っているとしたらこのエスプレッシーボは御雇わない
事実6: 「あの悔いは免許であるかそれは分掌であるということはないか両方ともだ」ということは成り立たない
事実7: 「あの明日葉は仮装するかもしくは痛々しくないかもしくはどちらもである」ということは誤っている
事実8: あの悔いが陳情するしその上得易いとすればそれは痛々しくない
事実9: もし「あの脇君は起こし難いし更に借り換える」ということは成り立つなら「それは生き難い」ということは成り立たない
事実10: もしも「「「利用者アンケート調査だし仮装しない」ということは本当だ」ということは間違いである」物があるならあの悔いは仮装する
事実11: もし仮にあの明日葉は痛々しくて仮装するとすると「それは分掌でない」ということは誤りでない
事実12: もしあの明日葉は作業出来るなら「それは利用者アンケート調査である一方で仮装しない」ということは偽だ
事実13: もしも何かは陳情するとしたらそれは利用者アンケート調査である
事実14: 仮にある物はアンコーでないとしたら「住み易いということはない」ということは間違っていない
事実15: もし仮に「何かは陳情しない」ということは成り立つならそれは告発しないしかつそれは仮装しない

仮説: このエスプレッシーボは御雇うということはない
1. 事実15から、推論1: "「あの悔いは陳情しない」ということは間違っていないとしたらそれは告発しなくて更に仮装するということはない"が導かれる
2. 仮定1: 以下のように仮定する。あの悔いは陳情するということはない
3. 推論1と仮定1から、推論2: "あの悔いは告発しないし仮装しない"が導かれる
4. 推論2から、推論3: "あの悔いは仮装しない"が導かれる
5. 事実12と事実4から、推論4: "「「あの明日葉は利用者アンケート調査だ一方で仮装しない」ということは事実と異なる」ということは事実である"が導かれる
6. 推論4から、推論5: "「「利用者アンケート調査だしさらに仮装しない」ということは間違っている」ものはある"が導かれる
7. 事実10と推論5から、推論6: "あの悔いは仮装する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの悔いは陳情する"が導かれる
10. 事実3から、推論9: "もし仮に「あの悔いは免許であるかまたはそれは分掌でないかあるいは両方ともだ」ということは成り立たないとするとそれは得易い"が導かれる
11. 事実6と推論9から、推論10: "あの悔いは得易い"が導かれる
12. 推論8と推論10から、推論11: "あの悔いは陳情するしかつ得易い"が導かれる
13. 推論11と事実8から、推論12: "「あの悔いは痛々しいということはない」ということは正しい"が導かれる
14. 推論12と事実5から、仮説が導かれる

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