あの試薬特級は押さえ難いかあるいはそれは仄暗い
fact1: もし仮に何らかのものが差し出がましかないなら繋がり易い fact2: あの右室側が差し出がましいとしたらあの試薬特級は仄暗い fact3: 「あの右室側は民俗芸能であるかあるいは実質化するかもしくは両方である」ということは正しい fact4: 「その五十冊は進物である」ということは偽であるということはないとすればあのダミー変数は実質化しなくてそれは青っぽくない fact5: あの試薬特級は青っぽい fact6: あの右室側は進物でない fact7: もし仮にあの試薬特級は青っぽいなら「あの右室側は仄暗い」ということは確かだ fact8: 仮にあの右室側は進物でないとすれば「それは青っぽいし実質化する」ということは偽である fact9: 「あの右室側は青っぽいしそれは実質化する」ということは本当でない fact10: 「あの右室側は押さえ難くない」ということは本当だ fact11: あの試薬特級は実質化する fact12: 仮にとある物が青っぽいとすれば繋がり易くない fact13: もしも「あのダミー変数は繋がり易いし差し出がましい」ということは成り立たないとすればあの試薬特級は差し出がましかない fact14: もし「何かは青っぽくない一方で実質化する」ということは本当でないとすればそれは繋がり易くない fact15: あの右室側は集め易くない fact16: もし仮にあの右室側は進物でないとすれば「青っぽくないけど実質化する」ということは成り立つということはない fact17: あの試薬特級は繋がり易いということはない fact18: 「あの右室側は進物でないが仄暗い」ということは成り立たないとすると差し出がましかない fact19: あの調査会は青っぽいということはない fact20: もし仮にあるものが結び付き易いということはないならば進物だ fact21: この受給資格者は繋がり易くない fact22: あの右室側が青っぽいとするとそれは繋がり易くない fact23: あの右室側は行き為さるかまたは繋がり易い
fact1 -> int1: 仮にあの右室側が差し出がましかないとすれば繋がり易い; void -> assump1: 以下のように仮定する。あの右室側は差し出がましかない; int1 & assump1 -> int2: あの右室側は繋がり易い; fact6 & fact16 -> int3: 「あの右室側は青っぽいということはないけどそれは実質化する」ということは正しくない; fact14 -> int4: もしも「あの右室側は青っぽくない一方で実質化する」ということは嘘だとすれば繋がり易くない; int3 & int4 -> int5: あの右室側は繋がり易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの右室側は差し出がましい; int7 & fact2 -> int8: あの試薬特級は仄暗い; int8 -> hypothesis;
「あの試薬特級は押さえ難いかあるいは仄暗いかどちらもである」ということは誤りだ
fact24 -> int9: もしもその五十冊が結び付き易くないとするとそれは進物だ;
$facts$ = fact1: もし仮に何らかのものが差し出がましかないなら繋がり易い fact2: あの右室側が差し出がましいとしたらあの試薬特級は仄暗い fact3: 「あの右室側は民俗芸能であるかあるいは実質化するかもしくは両方である」ということは正しい fact4: 「その五十冊は進物である」ということは偽であるということはないとすればあのダミー変数は実質化しなくてそれは青っぽくない fact5: あの試薬特級は青っぽい fact6: あの右室側は進物でない fact7: もし仮にあの試薬特級は青っぽいなら「あの右室側は仄暗い」ということは確かだ fact8: 仮にあの右室側は進物でないとすれば「それは青っぽいし実質化する」ということは偽である fact9: 「あの右室側は青っぽいしそれは実質化する」ということは本当でない fact10: 「あの右室側は押さえ難くない」ということは本当だ fact11: あの試薬特級は実質化する fact12: 仮にとある物が青っぽいとすれば繋がり易くない fact13: もしも「あのダミー変数は繋がり易いし差し出がましい」ということは成り立たないとすればあの試薬特級は差し出がましかない fact14: もし「何かは青っぽくない一方で実質化する」ということは本当でないとすればそれは繋がり易くない fact15: あの右室側は集め易くない fact16: もし仮にあの右室側は進物でないとすれば「青っぽくないけど実質化する」ということは成り立つということはない fact17: あの試薬特級は繋がり易いということはない fact18: 「あの右室側は進物でないが仄暗い」ということは成り立たないとすると差し出がましかない fact19: あの調査会は青っぽいということはない fact20: もし仮にあるものが結び付き易いということはないならば進物だ fact21: この受給資格者は繋がり易くない fact22: あの右室側が青っぽいとするとそれは繋がり易くない fact23: あの右室側は行き為さるかまたは繋がり易い ; $hypothesis$ = あの試薬特級は押さえ難いかあるいはそれは仄暗い ; $proof$ = 
fact1 -> int1: 仮にあの右室側が差し出がましかないとすれば繋がり易い; void -> assump1: 以下のように仮定する。あの右室側は差し出がましかない; int1 & assump1 -> int2: あの右室側は繋がり易い; fact6 & fact16 -> int3: 「あの右室側は青っぽいということはないけどそれは実質化する」ということは正しくない; fact14 -> int4: もしも「あの右室側は青っぽくない一方で実質化する」ということは嘘だとすれば繋がり易くない; int3 & int4 -> int5: あの右室側は繋がり易くない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの右室側は差し出がましい; int7 & fact2 -> int8: あの試薬特級は仄暗い; 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: あの右室側は行き為さるかまたは繋がり易い

仮説: あの試薬特級は押さえ難いかあるいはそれは仄暗い
1. 事実1から、推論1: "仮にあの右室側が差し出がましかないとすれば繋がり易い"が導かれる
2. 仮定1: 以下のように仮定する。あの右室側は差し出がましかない
3. 推論1と仮定1から、推論2: "あの右室側は繋がり易い"が導かれる
4. 事実6と事実16から、推論3: "「あの右室側は青っぽいということはないけどそれは実質化する」ということは正しくない"が導かれる
5. 事実14から、推論4: "もしも「あの右室側は青っぽくない一方で実質化する」ということは嘘だとすれば繋がり易くない"が導かれる
6. 推論3と推論4から、推論5: "あの右室側は繋がり易くない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの右室側は差し出がましい"が導かれる
9. 推論7と事実2から、推論8: "あの試薬特級は仄暗い"が導かれる
10. 推論8から、仮説が導かれる

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