この内閣提出法案は処理すらなくて更にそれは受け取り方法でない
fact1: この内閣提出法案はまどろまない fact2: もしも「「内定しなくて入り浸らない」ということは事実と異なる」物があるとしたらこの内閣提出法案は内定する fact3: その吟醸酒は止めど無い fact4: その吟醸酒は痛々しくなくて叩き起こさない fact5: もし仮にその吟醸酒が古いということはないなら電子機器利用設備であるし加えてそれは内定しない fact6: その吟醸酒はまどろむし電子機器利用設備である fact7: もしもなにかは内定するとしたらそれは受け取り方法でない fact8: もしも「あのδワンが資本連結手続きだけどそれは打設しない」ということは成り立たないならばそれは打設する fact9: 「「内定しないしおまけに入り浸らない」ということは成り立たない」物はある fact10: もし仮にその吟醸酒がまどろむがしかしそれが入り浸らないならばこの内閣提出法案はまどろまない fact11: あのδワンが打設するとすればその大夫は見易い fact12: 「あのδワンは資本連結手続きであるがしかしそれは打設しない」ということは偽だ fact13: もし「なにがしかの物は評価情報であるか築き難い」ということは誤りであるとしたらそれはまどろまない fact14: その吟醸酒は評価情報でない fact15: もしその吟醸酒が築き難いならば内定しない fact16: もしその大夫が誘発し易いとすると甚だしい fact17: その大夫は誘発し易い fact18: もしもこの内閣提出法案が処理すとしたら評価情報でない fact19: この内閣提出法案は御存じ無い fact20: もし仮にこの内閣提出法案は評価情報であるということはないとすると「その吟醸酒は評価情報であるかまたは築き難い」ということは事実と異なる
void -> assump1: 以下のように仮定する。「この内閣提出法案は処理す」ということは確かである; fact18 & assump1 -> int1: この内閣提出法案は評価情報だということはない; int1 & fact20 -> int2: 「その吟醸酒は評価情報であるか築き難い」ということは偽だ; fact13 -> int3: もしも「その吟醸酒は評価情報であるかまたは築き難いかもしくはどちらもだ」ということは正しくないならば「まどろまない」ということは正しい; int2 & int3 -> int4: その吟醸酒はまどろまない; fact6 -> int5: その吟醸酒はまどろむ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この内閣提出法案は処理すらない; fact7 -> int8: もしこの内閣提出法案が内定すればそれは受け取り方法でない; fact9 & fact2 -> int9: この内閣提出法案は内定する; int8 & int9 -> int10: この内閣提出法案は受け取り方法でない; int7 & int10 -> hypothesis;
「「この内閣提出法案は処理すということはないしさらに受け取り方法でない」ということは成り立つということはない」ということは真実だ
fact27 & fact21 -> int11: あのδワンは打設する; fact24 & int11 -> int12: その大夫は見易い; fact22 & fact25 -> int13: その大夫は甚だしい; int12 & int13 -> int14: その大夫は見易いし更に甚だしい; int14 -> int15: 何らかのものは見易いしそれに甚だしい;
$facts$ = fact1: この内閣提出法案はまどろまない fact2: もしも「「内定しなくて入り浸らない」ということは事実と異なる」物があるとしたらこの内閣提出法案は内定する fact3: その吟醸酒は止めど無い fact4: その吟醸酒は痛々しくなくて叩き起こさない fact5: もし仮にその吟醸酒が古いということはないなら電子機器利用設備であるし加えてそれは内定しない fact6: その吟醸酒はまどろむし電子機器利用設備である fact7: もしもなにかは内定するとしたらそれは受け取り方法でない fact8: もしも「あのδワンが資本連結手続きだけどそれは打設しない」ということは成り立たないならばそれは打設する fact9: 「「内定しないしおまけに入り浸らない」ということは成り立たない」物はある fact10: もし仮にその吟醸酒がまどろむがしかしそれが入り浸らないならばこの内閣提出法案はまどろまない fact11: あのδワンが打設するとすればその大夫は見易い fact12: 「あのδワンは資本連結手続きであるがしかしそれは打設しない」ということは偽だ fact13: もし「なにがしかの物は評価情報であるか築き難い」ということは誤りであるとしたらそれはまどろまない fact14: その吟醸酒は評価情報でない fact15: もしその吟醸酒が築き難いならば内定しない fact16: もしその大夫が誘発し易いとすると甚だしい fact17: その大夫は誘発し易い fact18: もしもこの内閣提出法案が処理すとしたら評価情報でない fact19: この内閣提出法案は御存じ無い fact20: もし仮にこの内閣提出法案は評価情報であるということはないとすると「その吟醸酒は評価情報であるかまたは築き難い」ということは事実と異なる ; $hypothesis$ = この内閣提出法案は処理すらなくて更にそれは受け取り方法でない ; $proof$ = 
void -> assump1: 以下のように仮定する。「この内閣提出法案は処理す」ということは確かである; fact18 & assump1 -> int1: この内閣提出法案は評価情報だということはない; int1 & fact20 -> int2: 「その吟醸酒は評価情報であるか築き難い」ということは偽だ; fact13 -> int3: もしも「その吟醸酒は評価情報であるかまたは築き難いかもしくはどちらもだ」ということは正しくないならば「まどろまない」ということは正しい; int2 & int3 -> int4: その吟醸酒はまどろまない; fact6 -> int5: その吟醸酒はまどろむ; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この内閣提出法案は処理すらない; fact7 -> int8: もしこの内閣提出法案が内定すればそれは受け取り方法でない; fact9 & fact2 -> int9: この内閣提出法案は内定する; int8 & int9 -> int10: この内閣提出法案は受け取り方法でない; int7 & int10 -> hypothesis; __PROVED__
事実1: この内閣提出法案はまどろまない
事実2: もしも「「内定しなくて入り浸らない」ということは事実と異なる」物があるとしたらこの内閣提出法案は内定する
事実3: その吟醸酒は止めど無い
事実4: その吟醸酒は痛々しくなくて叩き起こさない
事実5: もし仮にその吟醸酒が古いということはないなら電子機器利用設備であるし加えてそれは内定しない
事実6: その吟醸酒はまどろむし電子機器利用設備である
事実7: もしもなにかは内定するとしたらそれは受け取り方法でない
事実8: もしも「あのδワンが資本連結手続きだけどそれは打設しない」ということは成り立たないならばそれは打設する
事実9: 「「内定しないしおまけに入り浸らない」ということは成り立たない」物はある
事実10: もし仮にその吟醸酒がまどろむがしかしそれが入り浸らないならばこの内閣提出法案はまどろまない
事実11: あのδワンが打設するとすればその大夫は見易い
事実12: 「あのδワンは資本連結手続きであるがしかしそれは打設しない」ということは偽だ
事実13: もし「なにがしかの物は評価情報であるか築き難い」ということは誤りであるとしたらそれはまどろまない
事実14: その吟醸酒は評価情報でない
事実15: もしその吟醸酒が築き難いならば内定しない
事実16: もしその大夫が誘発し易いとすると甚だしい
事実17: その大夫は誘発し易い
事実18: もしもこの内閣提出法案が処理すとしたら評価情報でない
事実19: この内閣提出法案は御存じ無い
事実20: もし仮にこの内閣提出法案は評価情報であるということはないとすると「その吟醸酒は評価情報であるかまたは築き難い」ということは事実と異なる

仮説: この内閣提出法案は処理すらなくて更にそれは受け取り方法でない
1. 仮定1: 以下のように仮定する。「この内閣提出法案は処理す」ということは確かである
2. 事実18と仮定1から、推論1: "この内閣提出法案は評価情報だということはない"が導かれる
3. 推論1と事実20から、推論2: "「その吟醸酒は評価情報であるか築き難い」ということは偽だ"が導かれる
4. 事実13から、推論3: "もしも「その吟醸酒は評価情報であるかまたは築き難いかもしくはどちらもだ」ということは正しくないならば「まどろまない」ということは正しい"が導かれる
5. 推論2と推論3から、推論4: "その吟醸酒はまどろまない"が導かれる
6. 事実6から、推論5: "その吟醸酒はまどろむ"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この内閣提出法案は処理すらない"が導かれる
9. 事実7から、推論8: "もしこの内閣提出法案が内定すればそれは受け取り方法でない"が導かれる
10. 事実9と事実2から、推論9: "この内閣提出法案は内定する"が導かれる
11. 推論8と推論9から、推論10: "この内閣提出法案は受け取り方法でない"が導かれる
12. 推論7と推論10から、仮説が導かれる

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