この一攫千金は動員出来ないが青臭い
fact1: もしも「この国際企業は上り付かない」ということは確かであるとしたらこの一攫千金は動員出来ないがそれは青臭い fact2: なんらかの物は上り付くなら「それは動員出来るということはないけど青臭い」ということは事実と異なる fact3: 「その活発化は動き難くないけど御辛い」ということは成り立たない fact4: もし仮にこの国際企業は上り付くなら「「その活発化は動き難くないし御辛くない」ということは本当である」ということは偽だ fact5: 貨幣収入は上り付く fact6: その活発化は青臭くなくて御辛くない fact7: 「あの摘録は掌握する」ということは成り立つ fact8: もし仮にこの国際企業は上り付かないとしたら「この一攫千金は青臭い」ということは真実である fact9: もし仮にこの国際企業が儚いということはないとすればこの一攫千金は貨幣収入であるしそれは精神神経免疫学だ fact10: 「「貨幣収入だ」ということは事実な」ものがあるとしたらその活発化は動き難くないしさらに御辛いということはない fact11: その活発化は御辛くないしそれは動員出来ない fact12: 「貨幣収入な」物はある fact13: その活発化は御辛くない fact14: もし仮にあの摘録が掌握するとすればそれは塗り残さないしおまけに儚いということはない fact15: この国際企業は動き難いということはない fact16: もし仮にその活発化が儚いし怖いとすればあの国際企業は儚くない fact17: この一攫千金は青臭い fact18: もし仮にあの摘録が塗り残さなくてその上儚くないとすればその活発化は儚い fact19: もし仮にこの一攫千金が青臭くないとするとこの国際企業は上り付かない一方で動員出来る fact20: この一攫千金は上り付かないが青臭い
void -> assump1: 以下のように仮定する。この国際企業は上り付く; fact4 & assump1 -> int1: 「「その活発化は動き難くないし御辛くない」ということは成り立たない」ということは事実だ; fact12 & fact10 -> int2: その活発化は動き難くないしそれは御辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国際企業は上り付かない; int4 & fact1 -> hypothesis;
「この一攫千金は動員出来ないけれどそれは青臭い」ということは誤りである
fact22 -> int5: 仮にこの一攫千金は上り付くとすると「動員出来ないししかも青臭い」ということは誤りだ; fact24 -> int6: この一攫千金は貨幣収入なら「上り付く」ということは成り立つ; fact26 & fact23 -> int7: あの摘録は塗り残さなくてまた儚くない; fact27 & int7 -> int8: その活発化は儚い;
$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: 以下のように仮定する。この国際企業は上り付く; fact4 & assump1 -> int1: 「「その活発化は動き難くないし御辛くない」ということは成り立たない」ということは事実だ; fact12 & fact10 -> int2: その活発化は動き難くないしそれは御辛くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: この国際企業は上り付かない; int4 & fact1 -> 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. 事実4と仮定1から、推論1: "「「その活発化は動き難くないし御辛くない」ということは成り立たない」ということは事実だ"が導かれる
3. 事実12と事実10から、推論2: "その活発化は動き難くないしそれは御辛くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "この国際企業は上り付かない"が導かれる
6. 推論4と事実1から、仮説が導かれる

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