このサイクロンは図々しい
fact1: もし仮に「あの命名者は第三十七議会衆院兵役税法案他であるが留保するということはない」ということは間違いであるならこのサイクロンは味わえない fact2: あの上下振動は甘ったるくなくてそれにきっちりしない fact3: もし仮に何らかのものは甘ったるくないとしたら「第三十七議会衆院兵役税法案他であるしおまけに留保しない」ということは正しくない fact4: このサイクロンは第三十七議会衆院兵役税法案他だということはない fact5: この熊さんは味わえるしドーナッツだ fact6: 「あの上下振動は正しい」ということは確かだ fact7: 仮にあの上下振動が甘ったるくないが留保するとしたらあの命名者は留保しない fact8: 「このサイクロンは図々しかない」ということは真実だとすると物件費であるし御優しい fact9: もしもあの上下振動が甘ったるくなくておまけにきっちりしないならばあの命名者は甘ったるいということはない fact10: もしある物が物件費なら味わえる
void -> assump1: 以下のように仮定する。このサイクロンは図々しかない; fact8 & assump1 -> int1: このサイクロンは物件費で加えて御優しい; int1 -> int2: このサイクロンは物件費である; fact10 -> int3: もしこのサイクロンが物件費だとすればそれは味わえる; int2 & int3 -> int4: このサイクロンは味わえる; fact9 & fact2 -> int5: あの命名者は甘ったるいということはない; fact3 -> int6: もしもあの命名者は甘ったるいということはないなら「それは第三十七議会衆院兵役税法案他だが留保しない」ということは誤っている; int5 & int6 -> int7: 「あの命名者は第三十七議会衆院兵役税法案他である一方で留保しない」ということは嘘だ; int7 & fact1 -> int8: このサイクロンは味わえない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
「このサイクロンは図々しかない」ということは正しい
$facts$ = fact1: もし仮に「あの命名者は第三十七議会衆院兵役税法案他であるが留保するということはない」ということは間違いであるならこのサイクロンは味わえない fact2: あの上下振動は甘ったるくなくてそれにきっちりしない fact3: もし仮に何らかのものは甘ったるくないとしたら「第三十七議会衆院兵役税法案他であるしおまけに留保しない」ということは正しくない fact4: このサイクロンは第三十七議会衆院兵役税法案他だということはない fact5: この熊さんは味わえるしドーナッツだ fact6: 「あの上下振動は正しい」ということは確かだ fact7: 仮にあの上下振動が甘ったるくないが留保するとしたらあの命名者は留保しない fact8: 「このサイクロンは図々しかない」ということは真実だとすると物件費であるし御優しい fact9: もしもあの上下振動が甘ったるくなくておまけにきっちりしないならばあの命名者は甘ったるいということはない fact10: もしある物が物件費なら味わえる ; $hypothesis$ = このサイクロンは図々しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このサイクロンは図々しかない; fact8 & assump1 -> int1: このサイクロンは物件費で加えて御優しい; int1 -> int2: このサイクロンは物件費である; fact10 -> int3: もしこのサイクロンが物件費だとすればそれは味わえる; int2 & int3 -> int4: このサイクロンは味わえる; fact9 & fact2 -> int5: あの命名者は甘ったるいということはない; fact3 -> int6: もしもあの命名者は甘ったるいということはないなら「それは第三十七議会衆院兵役税法案他だが留保しない」ということは誤っている; int5 & int6 -> int7: 「あの命名者は第三十七議会衆院兵役税法案他である一方で留保しない」ということは嘘だ; int7 & fact1 -> int8: このサイクロンは味わえない; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis; __PROVED__
事実1: もし仮に「あの命名者は第三十七議会衆院兵役税法案他であるが留保するということはない」ということは間違いであるならこのサイクロンは味わえない
事実2: あの上下振動は甘ったるくなくてそれにきっちりしない
事実3: もし仮に何らかのものは甘ったるくないとしたら「第三十七議会衆院兵役税法案他であるしおまけに留保しない」ということは正しくない
事実4: このサイクロンは第三十七議会衆院兵役税法案他だということはない
事実5: この熊さんは味わえるしドーナッツだ
事実6: 「あの上下振動は正しい」ということは確かだ
事実7: 仮にあの上下振動が甘ったるくないが留保するとしたらあの命名者は留保しない
事実8: 「このサイクロンは図々しかない」ということは真実だとすると物件費であるし御優しい
事実9: もしもあの上下振動が甘ったるくなくておまけにきっちりしないならばあの命名者は甘ったるいということはない
事実10: もしある物が物件費なら味わえる

仮説: このサイクロンは図々しい
1. 仮定1: 以下のように仮定する。このサイクロンは図々しかない
2. 事実8と仮定1から、推論1: "このサイクロンは物件費で加えて御優しい"が導かれる
3. 推論1から、推論2: "このサイクロンは物件費である"が導かれる
4. 事実10から、推論3: "もしこのサイクロンが物件費だとすればそれは味わえる"が導かれる
5. 推論2と推論3から、推論4: "このサイクロンは味わえる"が導かれる
6. 事実9と事実2から、推論5: "あの命名者は甘ったるいということはない"が導かれる
7. 事実3から、推論6: "もしもあの命名者は甘ったるいということはないなら「それは第三十七議会衆院兵役税法案他だが留保しない」ということは誤っている"が導かれる
8. 推論5と推論6から、推論7: "「あの命名者は第三十七議会衆院兵役税法案他である一方で留保しない」ということは嘘だ"が導かれる
9. 推論7と事実1から、推論8: "このサイクロンは味わえない"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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