そのテスト不安はメーデーだ
fact1: あの受信トレイは埃だということはないとすれば「この同種類は没頭するし天使らしい」ということは間違いだ fact2: もしもあの受信トレイが埃ならあの経費はぶつかり合う fact3: 「このエチルアルコールは還流しないし移民しない」ということは間違いである fact4: 「このエチルアルコールは還流しないしその上移民しない」ということは成り立たないとしたら疚しいということはない fact5: 「なんらかの物は没頭するし加えてそれは天使らしい」ということは誤りであるならばそれは疚しくない fact6: 仮に「あの経費はぶつかり合う」ということは真実ならばそのテスト不安はメーデーである fact7: もし仮にこのエチルアルコールは還流するとすると「疚しくない」ということは成り立つ fact8: もし仮にこのエチルアルコールは疚しくないとすると「この同種類は疚しい」ということは事実だ fact9: あの経費は天使らしくない fact10: 「なにかは埃でないがしかしそれは疚しい」ということは間違っていればそれはメーデーでない fact11: そのテスト不安は還流する fact12: 仮に「何かは疚しいかもしくはそれは埃であるかもしくは両方ともである」ということは成り立たないとすればメーデーでない fact13: 「あの経費はぶつかり合うし疚しい」ということは誤りだ fact14: 「あの受信トレイは没頭しないしかつ埃でない」ということは本当でないなら疚しくない
void -> assump1: 以下のように仮定する。あの受信トレイは埃であるということはない; fact1 & assump1 -> int1: 「この同種類は没頭するしまた天使らしい」ということは成り立たない; fact5 -> int2: もし「この同種類は没頭するしかつ天使らしい」ということは間違いであるとすればそれは疚しいということはない; int1 & int2 -> int3: この同種類は疚しくない; fact3 & fact4 -> int4: このエチルアルコールは疚しくない; fact8 & int4 -> int5: この同種類は疚しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの受信トレイは埃だ; int7 & fact2 -> int8: あの経費はぶつかり合う; int8 & fact6 -> hypothesis;
そのテスト不安はメーデーでない
fact15 -> int9: 仮に「そのテスト不安は疚しいか埃である」ということは偽ならそれはメーデーでない;
$facts$ = fact1: あの受信トレイは埃だということはないとすれば「この同種類は没頭するし天使らしい」ということは間違いだ fact2: もしもあの受信トレイが埃ならあの経費はぶつかり合う fact3: 「このエチルアルコールは還流しないし移民しない」ということは間違いである fact4: 「このエチルアルコールは還流しないしその上移民しない」ということは成り立たないとしたら疚しいということはない fact5: 「なんらかの物は没頭するし加えてそれは天使らしい」ということは誤りであるならばそれは疚しくない fact6: 仮に「あの経費はぶつかり合う」ということは真実ならばそのテスト不安はメーデーである fact7: もし仮にこのエチルアルコールは還流するとすると「疚しくない」ということは成り立つ fact8: もし仮にこのエチルアルコールは疚しくないとすると「この同種類は疚しい」ということは事実だ fact9: あの経費は天使らしくない fact10: 「なにかは埃でないがしかしそれは疚しい」ということは間違っていればそれはメーデーでない fact11: そのテスト不安は還流する fact12: 仮に「何かは疚しいかもしくはそれは埃であるかもしくは両方ともである」ということは成り立たないとすればメーデーでない fact13: 「あの経費はぶつかり合うし疚しい」ということは誤りだ fact14: 「あの受信トレイは没頭しないしかつ埃でない」ということは本当でないなら疚しくない ; $hypothesis$ = そのテスト不安はメーデーだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの受信トレイは埃であるということはない; fact1 & assump1 -> int1: 「この同種類は没頭するしまた天使らしい」ということは成り立たない; fact5 -> int2: もし「この同種類は没頭するしかつ天使らしい」ということは間違いであるとすればそれは疚しいということはない; int1 & int2 -> int3: この同種類は疚しくない; fact3 & fact4 -> int4: このエチルアルコールは疚しくない; fact8 & int4 -> int5: この同種類は疚しい; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの受信トレイは埃だ; int7 & fact2 -> int8: あの経費はぶつかり合う; int8 & fact6 -> hypothesis; __PROVED__
事実1: あの受信トレイは埃だということはないとすれば「この同種類は没頭するし天使らしい」ということは間違いだ
事実2: もしもあの受信トレイが埃ならあの経費はぶつかり合う
事実3: 「このエチルアルコールは還流しないし移民しない」ということは間違いである
事実4: 「このエチルアルコールは還流しないしその上移民しない」ということは成り立たないとしたら疚しいということはない
事実5: 「なんらかの物は没頭するし加えてそれは天使らしい」ということは誤りであるならばそれは疚しくない
事実6: 仮に「あの経費はぶつかり合う」ということは真実ならばそのテスト不安はメーデーである
事実7: もし仮にこのエチルアルコールは還流するとすると「疚しくない」ということは成り立つ
事実8: もし仮にこのエチルアルコールは疚しくないとすると「この同種類は疚しい」ということは事実だ
事実9: あの経費は天使らしくない
事実10: 「なにかは埃でないがしかしそれは疚しい」ということは間違っていればそれはメーデーでない
事実11: そのテスト不安は還流する
事実12: 仮に「何かは疚しいかもしくはそれは埃であるかもしくは両方ともである」ということは成り立たないとすればメーデーでない
事実13: 「あの経費はぶつかり合うし疚しい」ということは誤りだ
事実14: 「あの受信トレイは没頭しないしかつ埃でない」ということは本当でないなら疚しくない

仮説: そのテスト不安はメーデーだ
1. 仮定1: 以下のように仮定する。あの受信トレイは埃であるということはない
2. 事実1と仮定1から、推論1: "「この同種類は没頭するしまた天使らしい」ということは成り立たない"が導かれる
3. 事実5から、推論2: "もし「この同種類は没頭するしかつ天使らしい」ということは間違いであるとすればそれは疚しいということはない"が導かれる
4. 推論1と推論2から、推論3: "この同種類は疚しくない"が導かれる
5. 事実3と事実4から、推論4: "このエチルアルコールは疚しくない"が導かれる
6. 事実8と推論4から、推論5: "この同種類は疚しい"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの受信トレイは埃だ"が導かれる
9. 推論7と事実2から、推論8: "あの経費はぶつかり合う"が導かれる
10. 推論8と事実6から、仮説が導かれる

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