仮にこのシャンティイ・ショコラがすんごくないとするとその黄禍論は送信するということはない
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: そのフリーストール方式はドライタウンでない
fact19 & fact9 -> int1: このシャンティイ・ショコラは光電であるということはない; void -> assump1: 以下のように仮定する。このシャンティイ・ショコラはすんごくない; int1 & assump1 -> int2: このシャンティイ・ショコラはすんごくないしまた光電でない; int2 -> int3: あるものはすんごくなくてしかも光電でない; int3 & fact6 -> int4: そのフリーストール方式は詳しくない; fact14 -> int5: 「そのフリーストール方式は詳しくない」ということは確かであるとすると「それは送信しない」ということは真実だ; int4 & int5 -> int6: そのフリーストール方式は送信するということはない; int6 & fact22 -> int7: その黄禍論は社葬であるけど送信しない; int7 -> int8: その黄禍論は送信しない; [assump1] & int8 -> hypothesis;
あの増税法案はクリーンエネルギーだがしかしＵ字谷でない
fact26 -> int9: 「あの増税法案はすんごい」ということは成り立つということはないならばクリーンエネルギーだし更にＵ字谷でない; fact27 -> int10: もしもあの増税法案は光電であるとするとそれはすんごいということはない;
$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: そのフリーストール方式はドライタウンでない ; $hypothesis$ = 仮にこのシャンティイ・ショコラがすんごくないとするとその黄禍論は送信するということはない ; $proof$ = 
fact19 & fact9 -> int1: このシャンティイ・ショコラは光電であるということはない; void -> assump1: 以下のように仮定する。このシャンティイ・ショコラはすんごくない; int1 & assump1 -> int2: このシャンティイ・ショコラはすんごくないしまた光電でない; int2 -> int3: あるものはすんごくなくてしかも光電でない; int3 & fact6 -> int4: そのフリーストール方式は詳しくない; fact14 -> int5: 「そのフリーストール方式は詳しくない」ということは確かであるとすると「それは送信しない」ということは真実だ; int4 & int5 -> int6: そのフリーストール方式は送信するということはない; int6 & fact22 -> int7: その黄禍論は社葬であるけど送信しない; int7 -> int8: その黄禍論は送信しない; [assump1] & int8 -> 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: そのフリーストール方式はドライタウンでない

仮説: 仮にこのシャンティイ・ショコラがすんごくないとするとその黄禍論は送信するということはない
1. 事実19と事実9から、推論1: "このシャンティイ・ショコラは光電であるということはない"が導かれる
2. 仮定1: 以下のように仮定する。このシャンティイ・ショコラはすんごくない
3. 推論1と仮定1から、推論2: "このシャンティイ・ショコラはすんごくないしまた光電でない"が導かれる
4. 推論2から、推論3: "あるものはすんごくなくてしかも光電でない"が導かれる
5. 推論3と事実6から、推論4: "そのフリーストール方式は詳しくない"が導かれる
6. 事実14から、推論5: "「そのフリーストール方式は詳しくない」ということは確かであるとすると「それは送信しない」ということは真実だ"が導かれる
7. 推論4と推論5から、推論6: "そのフリーストール方式は送信するということはない"が導かれる
8. 推論6と事実22から、推論7: "その黄禍論は社葬であるけど送信しない"が導かれる
9. 推論7から、推論8: "その黄禍論は送信しない"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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