この金融理論は湾岸戦争時でない
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: 以下のように仮定する。この運転感覚は残り易い; fact13 & assump1 -> int1: この運転感覚は忌まわしい; int1 & fact26 -> int2: あの人口史研究はバウンスである; int2 & fact9 -> int3: 「あの人口史研究は癌告知でないけれど差さる」ということは本当でない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この運転感覚は残り易くない; fact25 & fact6 -> int6: この運転感覚は百人隊長でまたそれは無理無い; int6 -> int7: この運転感覚は百人隊長だ; int5 & int7 -> int8: この運転感覚が百人隊長だけど残り易いということはない; int8 & fact19 -> hypothesis;
この金融理論は湾岸戦争時である
fact29 -> int9: 「この金融理論は残り易い」ということは間違っていないとすれば湾岸戦争時である; fact27 -> int10: 仮に「この金融理論はバウンスでなくてしかも残り易くない」ということは間違いであるなら残り易い; fact30 -> int11: もしこの金融理論は忌まわしいならば「それはバウンスでないしその上残り易いない」ということは事実でない; fact28 -> int12: 仮に「この金融理論は差さるがしかし癌告知でない」ということは真実でないとすれば忌まわしい;
$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: 以下のように仮定する。この運転感覚は残り易い; fact13 & assump1 -> int1: この運転感覚は忌まわしい; int1 & fact26 -> int2: あの人口史研究はバウンスである; int2 & fact9 -> int3: 「あの人口史研究は癌告知でないけれど差さる」ということは本当でない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> int5: この運転感覚は残り易くない; fact25 & fact6 -> int6: この運転感覚は百人隊長でまたそれは無理無い; int6 -> int7: この運転感覚は百人隊長だ; int5 & int7 -> int8: この運転感覚が百人隊長だけど残り易いということはない; int8 & fact19 -> 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. 事実13と仮定1から、推論1: "この運転感覚は忌まわしい"が導かれる
3. 推論1と事実26から、推論2: "あの人口史研究はバウンスである"が導かれる
4. 推論2と事実9から、推論3: "「あの人口史研究は癌告知でないけれど差さる」ということは本当でない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "この運転感覚は残り易くない"が導かれる
7. 事実25と事実6から、推論6: "この運転感覚は百人隊長でまたそれは無理無い"が導かれる
8. 推論6から、推論7: "この運転感覚は百人隊長だ"が導かれる
9. 推論5と推論7から、推論8: "この運転感覚が百人隊長だけど残り易いということはない"が導かれる
10. 推論8と事実19から、仮説が導かれる

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