あの不起訴は受け流すしセミノーマだ
fact1: もし「「杉だということはないしまたきつくない」ということは事実でない」ものがあるならこのナショナル・ミニマムは受け流さない fact2: この内閣は止む無いということはないがセミノーマだ fact3: この内閣はルーティングでないがしかし受け流す fact4: 「この耐力は泣けない」ということは事実である fact5: 仮にこの内閣は下向かないとしたら「この耐力は御優しいということはないけれど同性だ」ということは間違いだ fact6: この黄金比はくらくらする fact7: もしあの不起訴がセミノーマであるということはないとすればあの耐力はセミノーマであるし御優しい fact8: この耐力はきつくないし御優しくない fact9: 「このナショナル・ミニマムはセミノーマでない」ということは本当だ fact10: この内閣は意味するしそれに軽々しい fact11: 「このナショナル・ミニマムは同性でない」ということは正しい fact12: 「「杉だしセミノーマでない」ということは成り立たない」ものはある fact13: この耐力は受け流さなくてそれに御優しくない fact14: 「このナショナル・ミニマムは御優しくない」ということは真実である fact15: 仮にこのナショナル・ミニマムが受け流さないとするとあの不起訴は受け流すしおまけにそれはセミノーマである fact16: 仮に「下向く」物があるとしたらこの内閣は同性でない fact17: もしもこの内閣は御優しい一方できついということはないなら「受け流さない」ということは真実である fact18: 仮にこの耐力が泣けないとしたら御優しくなくてそれは同性である fact19: 仮に同性は下向くとすると「受け流さない」ということは誤りでない fact20: もし仮にこの耐力は御優しいということはないとすると「この内閣は同性でかつ泣ける」ということは成り立たない fact21: もし仮にこの耐力が受け流さないし同性でないならセミノーマでない fact22: 「この絞首台は泣けない」ということは事実である fact23: もし仮にこの内閣が杉であるということはないしきつかないならばそれは下向かない fact24: この内閣は杉でない fact25: 「「きついが受け流さない」ということは嘘な」ものはある fact26: この内閣が受け流さないとしたらそれは下向くということはない
void -> assump1: 以下のように仮定する。この内閣は杉でないしおまけにきつかない; fact23 & assump1 -> int1: この内閣は下向かない; int1 & fact5 -> int2: 「この耐力は御優しくないがしかし同性である」ということは事実でない; fact4 & fact18 -> int3: この耐力は御優しくないけれど同性である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この内閣は杉でないしその上きつかない」ということは成り立たない; int5 -> int6: 「「杉でないし更にきついということはない」ということは成り立たない」ものはある; int6 & fact1 -> int7: このナショナル・ミニマムは受け流さない; int7 & fact15 -> hypothesis;
「あの不起訴は受け流すしさらにセミノーマである」ということは偽である
fact27 -> int8: もしこの内閣が同性であるしそれが下向くとするとそれは受け流すということはない;
$facts$ = fact1: もし「「杉だということはないしまたきつくない」ということは事実でない」ものがあるならこのナショナル・ミニマムは受け流さない fact2: この内閣は止む無いということはないがセミノーマだ fact3: この内閣はルーティングでないがしかし受け流す fact4: 「この耐力は泣けない」ということは事実である fact5: 仮にこの内閣は下向かないとしたら「この耐力は御優しいということはないけれど同性だ」ということは間違いだ fact6: この黄金比はくらくらする fact7: もしあの不起訴がセミノーマであるということはないとすればあの耐力はセミノーマであるし御優しい fact8: この耐力はきつくないし御優しくない fact9: 「このナショナル・ミニマムはセミノーマでない」ということは本当だ fact10: この内閣は意味するしそれに軽々しい fact11: 「このナショナル・ミニマムは同性でない」ということは正しい fact12: 「「杉だしセミノーマでない」ということは成り立たない」ものはある fact13: この耐力は受け流さなくてそれに御優しくない fact14: 「このナショナル・ミニマムは御優しくない」ということは真実である fact15: 仮にこのナショナル・ミニマムが受け流さないとするとあの不起訴は受け流すしおまけにそれはセミノーマである fact16: 仮に「下向く」物があるとしたらこの内閣は同性でない fact17: もしもこの内閣は御優しい一方できついということはないなら「受け流さない」ということは真実である fact18: 仮にこの耐力が泣けないとしたら御優しくなくてそれは同性である fact19: 仮に同性は下向くとすると「受け流さない」ということは誤りでない fact20: もし仮にこの耐力は御優しいということはないとすると「この内閣は同性でかつ泣ける」ということは成り立たない fact21: もし仮にこの耐力が受け流さないし同性でないならセミノーマでない fact22: 「この絞首台は泣けない」ということは事実である fact23: もし仮にこの内閣が杉であるということはないしきつかないならばそれは下向かない fact24: この内閣は杉でない fact25: 「「きついが受け流さない」ということは嘘な」ものはある fact26: この内閣が受け流さないとしたらそれは下向くということはない ; $hypothesis$ = あの不起訴は受け流すしセミノーマだ ; $proof$ = 
void -> assump1: 以下のように仮定する。この内閣は杉でないしおまけにきつかない; fact23 & assump1 -> int1: この内閣は下向かない; int1 & fact5 -> int2: 「この耐力は御優しくないがしかし同性である」ということは事実でない; fact4 & fact18 -> int3: この耐力は御優しくないけれど同性である; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この内閣は杉でないしその上きつかない」ということは成り立たない; int5 -> int6: 「「杉でないし更にきついということはない」ということは成り立たない」ものはある; int6 & fact1 -> int7: このナショナル・ミニマムは受け流さない; int7 & fact15 -> hypothesis; __PROVED__
事実1: もし「「杉だということはないしまたきつくない」ということは事実でない」ものがあるならこのナショナル・ミニマムは受け流さない
事実2: この内閣は止む無いということはないがセミノーマだ
事実3: この内閣はルーティングでないがしかし受け流す
事実4: 「この耐力は泣けない」ということは事実である
事実5: 仮にこの内閣は下向かないとしたら「この耐力は御優しいということはないけれど同性だ」ということは間違いだ
事実6: この黄金比はくらくらする
事実7: もしあの不起訴がセミノーマであるということはないとすればあの耐力はセミノーマであるし御優しい
事実8: この耐力はきつくないし御優しくない
事実9: 「このナショナル・ミニマムはセミノーマでない」ということは本当だ
事実10: この内閣は意味するしそれに軽々しい
事実11: 「このナショナル・ミニマムは同性でない」ということは正しい
事実12: 「「杉だしセミノーマでない」ということは成り立たない」ものはある
事実13: この耐力は受け流さなくてそれに御優しくない
事実14: 「このナショナル・ミニマムは御優しくない」ということは真実である
事実15: 仮にこのナショナル・ミニマムが受け流さないとするとあの不起訴は受け流すしおまけにそれはセミノーマである
事実16: 仮に「下向く」物があるとしたらこの内閣は同性でない
事実17: もしもこの内閣は御優しい一方できついということはないなら「受け流さない」ということは真実である
事実18: 仮にこの耐力が泣けないとしたら御優しくなくてそれは同性である
事実19: 仮に同性は下向くとすると「受け流さない」ということは誤りでない
事実20: もし仮にこの耐力は御優しいということはないとすると「この内閣は同性でかつ泣ける」ということは成り立たない
事実21: もし仮にこの耐力が受け流さないし同性でないならセミノーマでない
事実22: 「この絞首台は泣けない」ということは事実である
事実23: もし仮にこの内閣が杉であるということはないしきつかないならばそれは下向かない
事実24: この内閣は杉でない
事実25: 「「きついが受け流さない」ということは嘘な」ものはある
事実26: この内閣が受け流さないとしたらそれは下向くということはない

仮説: あの不起訴は受け流すしセミノーマだ
1. 仮定1: 以下のように仮定する。この内閣は杉でないしおまけにきつかない
2. 事実23と仮定1から、推論1: "この内閣は下向かない"が導かれる
3. 推論1と事実5から、推論2: "「この耐力は御優しくないがしかし同性である」ということは事実でない"が導かれる
4. 事実4と事実18から、推論3: "この耐力は御優しくないけれど同性である"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この内閣は杉でないしその上きつかない」ということは成り立たない"が導かれる
7. 推論5から、推論6: "「「杉でないし更にきついということはない」ということは成り立たない」ものはある"が導かれる
8. 推論6と事実1から、推論7: "このナショナル・ミニマムは受け流さない"が導かれる
9. 推論7と事実15から、仮説が導かれる

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