その市場支配力はダイエットコークだ
fact1: もしも「ある物は手際良くないかそれは奉還するか両方だ」ということは成り立つということはないとすれば喜び歌う fact2: もしも「なにかは防風でないかまたは取っ付き易い」ということは真実でないなら「それは解約返戻金だ」ということは事実である fact3: もしも何らかの物はコンフィチュールさんであるならダイエットコークである fact4: 「「この男衆は手際良いかあるいは奉還するかまたはどちらもだ」ということは真実だ」ということは偽であるとすればそれは喜び歌う fact5: この男衆は平行平板形空洞電離箱である fact6: 「この男衆は開帳するがしかし奉還しない」ということは成り立たないとするとその市場支配力は開帳しない fact7: もしその市場支配力は開帳しないとすれば「平行平板形空洞電離箱でないかもしくは我慢出来るかまたはどちらもである」ということは成り立たない fact8: 「この男衆はコンフィチュールさんだ」ということは確かである fact9: 仮に「その市場支配力は平行平板形空洞電離箱であるということはないかあるいは我慢出来るか両方である」ということは間違っていればこの男衆は開帳しない fact10: もし「その市場支配力は我慢出来ないかもしくはそれは開帳する」ということは事実と異なるなら「この男衆は平行平板形空洞電離箱でない」ということは成り立つ fact11: 「あの基本定石は奉還するということはない」ということは真実である fact12: もし仮にとある物は開帳するということはないなら「ダイエットコークであるけれどコンフィチュールさんでない」ということは誤っている fact13: もしもあるものが喜び歌うとするとそれは開帳する fact14: もし「なにかは活用し易くないかもしくは容れる」ということは偽ならそれはぶつけ合う fact15: なんらかのものはコンフィチュールさんであるということはないなら「平行平板形空洞電離箱でないかあるいはそれは我慢出来るかあるいは両方である」ということは真実でない fact16: その市場支配力は喜び歌わない fact17: 通信相手は御掛かる fact18: 「その市場支配力はティーチャーである」ということは本当だ fact19: なんらかの物はコンフィチュールさんでないとすると我慢出来ない fact20: もし仮にその市場支配力はコンフィチュールさんでないならそれは我慢出来ない fact21: 仮に「何かは集まるかまたは確かめ為さる」ということは成り立たないとすれば御忘れる fact22: 「もしもその市場支配力が焼き固めるとするとその市場支配力は参加し易い」ということは本当だ fact23: 「この男衆は手際良いということはないかあるいは奉還するかあるいは両方ともである」ということは偽だ fact24: もしもこの男衆は平行平板形空洞電離箱でないとしたら「ダイエットコークでないかあるいは奉還するか両方ともだ」ということは成り立たない
fact15 -> int1: もし「その市場支配力はコンフィチュールさんでない」ということは確かであるならば「平行平板形空洞電離箱でないかそれは我慢出来るかあるいは両方である」ということは事実でない; void -> assump1: 以下のように仮定する。その市場支配力はコンフィチュールさんでない; int1 & assump1 -> int2: 「その市場支配力は平行平板形空洞電離箱でないかあるいは我慢出来るか両方ともである」ということは誤っている; int2 & fact9 -> int3: この男衆は開帳するということはない; fact1 -> int4: 「この男衆は手際良くないかあるいは奉還するかもしくは両方である」ということは偽であるとするとそれは喜び歌う; int4 & fact23 -> int5: この男衆は喜び歌う; fact13 -> int6: 仮にこの男衆が喜び歌うならそれは開帳する; int5 & int6 -> int7: この男衆は開帳する; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その市場支配力はコンフィチュールさんである; fact3 -> int10: もしその市場支配力はコンフィチュールさんであるならばそれはダイエットコークだ; int9 & int10 -> hypothesis;
その市場支配力はダイエットコークでない
fact25 -> int11: 仮にその市場支配力は開帳しないとしたら「ダイエットコークであるしそれはコンフィチュールさんでない」ということは真実でない;
$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: もしもこの男衆は平行平板形空洞電離箱でないとしたら「ダイエットコークでないかあるいは奉還するか両方ともだ」ということは成り立たない ; $hypothesis$ = その市場支配力はダイエットコークだ ; $proof$ = 
fact15 -> int1: もし「その市場支配力はコンフィチュールさんでない」ということは確かであるならば「平行平板形空洞電離箱でないかそれは我慢出来るかあるいは両方である」ということは事実でない; void -> assump1: 以下のように仮定する。その市場支配力はコンフィチュールさんでない; int1 & assump1 -> int2: 「その市場支配力は平行平板形空洞電離箱でないかあるいは我慢出来るか両方ともである」ということは誤っている; int2 & fact9 -> int3: この男衆は開帳するということはない; fact1 -> int4: 「この男衆は手際良くないかあるいは奉還するかもしくは両方である」ということは偽であるとするとそれは喜び歌う; int4 & fact23 -> int5: この男衆は喜び歌う; fact13 -> int6: 仮にこの男衆が喜び歌うならそれは開帳する; int5 & int6 -> int7: この男衆は開帳する; int3 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: その市場支配力はコンフィチュールさんである; fact3 -> int10: もしその市場支配力はコンフィチュールさんであるならばそれはダイエットコークだ; int9 & int10 -> 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: もしもこの男衆は平行平板形空洞電離箱でないとしたら「ダイエットコークでないかあるいは奉還するか両方ともだ」ということは成り立たない

仮説: その市場支配力はダイエットコークだ
1. 事実15から、推論1: "もし「その市場支配力はコンフィチュールさんでない」ということは確かであるならば「平行平板形空洞電離箱でないかそれは我慢出来るかあるいは両方である」ということは事実でない"が導かれる
2. 仮定1: 以下のように仮定する。その市場支配力はコンフィチュールさんでない
3. 推論1と仮定1から、推論2: "「その市場支配力は平行平板形空洞電離箱でないかあるいは我慢出来るか両方ともである」ということは誤っている"が導かれる
4. 推論2と事実9から、推論3: "この男衆は開帳するということはない"が導かれる
5. 事実1から、推論4: "「この男衆は手際良くないかあるいは奉還するかもしくは両方である」ということは偽であるとするとそれは喜び歌う"が導かれる
6. 推論4と事実23から、推論5: "この男衆は喜び歌う"が導かれる
7. 事実13から、推論6: "仮にこの男衆が喜び歌うならそれは開帳する"が導かれる
8. 推論5と推論6から、推論7: "この男衆は開帳する"が導かれる
9. 推論3と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "その市場支配力はコンフィチュールさんである"が導かれる
11. 事実3から、推論10: "もしその市場支配力はコンフィチュールさんであるならばそれはダイエットコークだ"が導かれる
12. 推論9と推論10から、仮説が導かれる

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