「あの教科領域はめでたしないし見破れない」ということは成り立つということはない
fact1: あの重厚感は見破れる fact2: もし仮にあの重厚感が意地悪いとしたらあの指揮は糸飴であるけど取得し易くない fact3: 仮にあの指揮は糸飴であるけれど取得し易くないならば「それはヘッジ関係である」ということは事実である fact4: もしあの指揮は白無垢であるなら見破れない fact5: あの重厚感が意地悪くないとするとあの教科領域はめでたしということはない fact6: 「あの教科領域はめでたしがしかし御上げ為さらない」ということは真実であるとすればそれは取得し易い fact7: めでたし物は見破れないしかつ意地悪くない fact8: ヘッジ関係は御上げ為さらなくて更に白無垢でない fact9: あの指揮は糸飴である fact10: なんらかの物が御上げ為さるとするとそれは取得し易くないし加えて意地悪くない fact11: もしもあの重厚感が意地悪くないとすればあの教科領域はめでたしないし見破れない fact12: 「あの指揮は意地悪い」ということは成り立つ fact13: 「あの教科領域は取得し易くない」ということは確かである fact14: あの指揮が御上げ為さるけどそれが意地悪くないとしたら取得し易い fact15: あの教科領域はめでたしない fact16: あの指揮は白無垢だ fact17: あの重厚感は取得し易い
void -> assump1: 以下のように仮定する。あの重厚感は意地悪い; fact2 & assump1 -> int1: あの指揮は糸飴である一方で取得し易くない; int1 & fact3 -> int2: あの指揮はヘッジ関係である; fact8 -> int3: もしもあの指揮がヘッジ関係であるとしたらそれは御上げ為さらなくてそれは白無垢だということはない; int2 & int3 -> int4: あの指揮は御上げ為さらないしそれに白無垢でない; int4 -> int5: あの指揮は白無垢でない; int5 & fact16 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの重厚感は意地悪くない; int7 & fact11 -> hypothesis;
$facts$ = fact1: あの重厚感は見破れる fact2: もし仮にあの重厚感が意地悪いとしたらあの指揮は糸飴であるけど取得し易くない fact3: 仮にあの指揮は糸飴であるけれど取得し易くないならば「それはヘッジ関係である」ということは事実である fact4: もしあの指揮は白無垢であるなら見破れない fact5: あの重厚感が意地悪くないとするとあの教科領域はめでたしということはない fact6: 「あの教科領域はめでたしがしかし御上げ為さらない」ということは真実であるとすればそれは取得し易い fact7: めでたし物は見破れないしかつ意地悪くない fact8: ヘッジ関係は御上げ為さらなくて更に白無垢でない fact9: あの指揮は糸飴である fact10: なんらかの物が御上げ為さるとするとそれは取得し易くないし加えて意地悪くない fact11: もしもあの重厚感が意地悪くないとすればあの教科領域はめでたしないし見破れない fact12: 「あの指揮は意地悪い」ということは成り立つ fact13: 「あの教科領域は取得し易くない」ということは確かである fact14: あの指揮が御上げ為さるけどそれが意地悪くないとしたら取得し易い fact15: あの教科領域はめでたしない fact16: あの指揮は白無垢だ fact17: あの重厚感は取得し易い ; $hypothesis$ = 「あの教科領域はめでたしないし見破れない」ということは成り立つということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの重厚感は意地悪い; fact2 & assump1 -> int1: あの指揮は糸飴である一方で取得し易くない; int1 & fact3 -> int2: あの指揮はヘッジ関係である; fact8 -> int3: もしもあの指揮がヘッジ関係であるとしたらそれは御上げ為さらなくてそれは白無垢だということはない; int2 & int3 -> int4: あの指揮は御上げ為さらないしそれに白無垢でない; int4 -> int5: あの指揮は白無垢でない; int5 & fact16 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの重厚感は意地悪くない; int7 & fact11 -> hypothesis; __DISPROVED__
事実1: あの重厚感は見破れる
事実2: もし仮にあの重厚感が意地悪いとしたらあの指揮は糸飴であるけど取得し易くない
事実3: 仮にあの指揮は糸飴であるけれど取得し易くないならば「それはヘッジ関係である」ということは事実である
事実4: もしあの指揮は白無垢であるなら見破れない
事実5: あの重厚感が意地悪くないとするとあの教科領域はめでたしということはない
事実6: 「あの教科領域はめでたしがしかし御上げ為さらない」ということは真実であるとすればそれは取得し易い
事実7: めでたし物は見破れないしかつ意地悪くない
事実8: ヘッジ関係は御上げ為さらなくて更に白無垢でない
事実9: あの指揮は糸飴である
事実10: なんらかの物が御上げ為さるとするとそれは取得し易くないし加えて意地悪くない
事実11: もしもあの重厚感が意地悪くないとすればあの教科領域はめでたしないし見破れない
事実12: 「あの指揮は意地悪い」ということは成り立つ
事実13: 「あの教科領域は取得し易くない」ということは確かである
事実14: あの指揮が御上げ為さるけどそれが意地悪くないとしたら取得し易い
事実15: あの教科領域はめでたしない
事実16: あの指揮は白無垢だ
事実17: あの重厚感は取得し易い

仮説: 「あの教科領域はめでたしないし見破れない」ということは成り立つということはない
1. 仮定1: 以下のように仮定する。あの重厚感は意地悪い
2. 事実2と仮定1から、推論1: "あの指揮は糸飴である一方で取得し易くない"が導かれる
3. 推論1と事実3から、推論2: "あの指揮はヘッジ関係である"が導かれる
4. 事実8から、推論3: "もしもあの指揮がヘッジ関係であるとしたらそれは御上げ為さらなくてそれは白無垢だということはない"が導かれる
5. 推論2と推論3から、推論4: "あの指揮は御上げ為さらないしそれに白無垢でない"が導かれる
6. 推論4から、推論5: "あの指揮は白無垢でない"が導かれる
7. 推論5と事実16から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの重厚感は意地悪くない"が導かれる
9. 推論7と事実11から、仮説が否定される

よって、仮説が否定されました。