「その付き添い人は見開かないがしかしふやかす」ということは成り立たない
fact1: 仮に「この割り算は通観する一方で満喫しない」ということは成り立たないとすれば「見開かない」ということは成り立つ fact2: もしその付き添い人が造設するし見開くとしたら「あの六十三．三．十四基発は通観しない」ということは成り立つ fact3: もし「この割り算は血液循環であるし輸送頻度である」ということは成り立たないなら「あの奥の手はふやかさない」ということは嘘でない fact4: あの奥の手は血液循環でない fact5: あの六十三．三．十四基発が血液循環でないとしたらこの割り算は生活環だということはない fact6: この割り算が満喫するがそれが造設しないとするとあの六十三．三．十四基発は谷地でない fact7: 「あの六十三．三．十四基発は谷地である」ということは成り立つなら「この割り算は生活環だ」ということは事実である fact8: あの六十三．三．十四基発は見開かない fact9: もしもその付き添い人が輸送頻度だということはないとしたらこの割り算は輸送頻度である fact10: 仮に「この割り算は満喫する一方で造設しない」ということは成り立たないとしたら葡萄品種でない fact11: もしもあの奥の手がふやかすということはないとするとその付き添い人は見開くということはないけどそれはふやかす fact12: もし仮にこの割り算は葡萄品種でないとしたら「それは血液循環でかつそれは輸送頻度だ」ということは事実と異なる fact13: この割り算が満喫するならあの詩学は満喫しない fact14: もし仮にあの六十三．三．十四基発が谷地だということはないとしたら生活環だ fact15: この割り算は通観しない fact16: あの六十三．三．十四基発は生活環でないがしかし通観する fact17: 「この開墾は翳すし加えて勝ち戦である」ということは誤りである
void -> assump1: 以下のように仮定する。この割り算は満喫するけど造設しない; fact6 & assump1 -> int1: あの六十三．三．十四基発は谷地であるということはない; int1 & fact14 -> int2: あの六十三．三．十四基発は生活環だ; fact16 -> int3: あの六十三．三．十四基発は生活環でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この割り算は満喫するけどそれは造設しない」ということは事実であるということはない; int5 & fact10 -> int6: この割り算は葡萄品種であるということはない; int6 & fact12 -> int7: 「この割り算は血液循環であるししかも輸送頻度である」ということは間違いだ; int7 & fact3 -> int8: あの奥の手はふやかさない; int8 & fact11 -> hypothesis;
あの詩学は満喫しない
$facts$ = fact1: 仮に「この割り算は通観する一方で満喫しない」ということは成り立たないとすれば「見開かない」ということは成り立つ fact2: もしその付き添い人が造設するし見開くとしたら「あの六十三．三．十四基発は通観しない」ということは成り立つ fact3: もし「この割り算は血液循環であるし輸送頻度である」ということは成り立たないなら「あの奥の手はふやかさない」ということは嘘でない fact4: あの奥の手は血液循環でない fact5: あの六十三．三．十四基発が血液循環でないとしたらこの割り算は生活環だということはない fact6: この割り算が満喫するがそれが造設しないとするとあの六十三．三．十四基発は谷地でない fact7: 「あの六十三．三．十四基発は谷地である」ということは成り立つなら「この割り算は生活環だ」ということは事実である fact8: あの六十三．三．十四基発は見開かない fact9: もしもその付き添い人が輸送頻度だということはないとしたらこの割り算は輸送頻度である fact10: 仮に「この割り算は満喫する一方で造設しない」ということは成り立たないとしたら葡萄品種でない fact11: もしもあの奥の手がふやかすということはないとするとその付き添い人は見開くということはないけどそれはふやかす fact12: もし仮にこの割り算は葡萄品種でないとしたら「それは血液循環でかつそれは輸送頻度だ」ということは事実と異なる fact13: この割り算が満喫するならあの詩学は満喫しない fact14: もし仮にあの六十三．三．十四基発が谷地だということはないとしたら生活環だ fact15: この割り算は通観しない fact16: あの六十三．三．十四基発は生活環でないがしかし通観する fact17: 「この開墾は翳すし加えて勝ち戦である」ということは誤りである ; $hypothesis$ = 「その付き添い人は見開かないがしかしふやかす」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この割り算は満喫するけど造設しない; fact6 & assump1 -> int1: あの六十三．三．十四基発は谷地であるということはない; int1 & fact14 -> int2: あの六十三．三．十四基発は生活環だ; fact16 -> int3: あの六十三．三．十四基発は生活環でない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: 「この割り算は満喫するけどそれは造設しない」ということは事実であるということはない; int5 & fact10 -> int6: この割り算は葡萄品種であるということはない; int6 & fact12 -> int7: 「この割り算は血液循環であるししかも輸送頻度である」ということは間違いだ; int7 & fact3 -> int8: あの奥の手はふやかさない; int8 & fact11 -> hypothesis; __DISPROVED__
事実1: 仮に「この割り算は通観する一方で満喫しない」ということは成り立たないとすれば「見開かない」ということは成り立つ
事実2: もしその付き添い人が造設するし見開くとしたら「あの六十三．三．十四基発は通観しない」ということは成り立つ
事実3: もし「この割り算は血液循環であるし輸送頻度である」ということは成り立たないなら「あの奥の手はふやかさない」ということは嘘でない
事実4: あの奥の手は血液循環でない
事実5: あの六十三．三．十四基発が血液循環でないとしたらこの割り算は生活環だということはない
事実6: この割り算が満喫するがそれが造設しないとするとあの六十三．三．十四基発は谷地でない
事実7: 「あの六十三．三．十四基発は谷地である」ということは成り立つなら「この割り算は生活環だ」ということは事実である
事実8: あの六十三．三．十四基発は見開かない
事実9: もしもその付き添い人が輸送頻度だということはないとしたらこの割り算は輸送頻度である
事実10: 仮に「この割り算は満喫する一方で造設しない」ということは成り立たないとしたら葡萄品種でない
事実11: もしもあの奥の手がふやかすということはないとするとその付き添い人は見開くということはないけどそれはふやかす
事実12: もし仮にこの割り算は葡萄品種でないとしたら「それは血液循環でかつそれは輸送頻度だ」ということは事実と異なる
事実13: この割り算が満喫するならあの詩学は満喫しない
事実14: もし仮にあの六十三．三．十四基発が谷地だということはないとしたら生活環だ
事実15: この割り算は通観しない
事実16: あの六十三．三．十四基発は生活環でないがしかし通観する
事実17: 「この開墾は翳すし加えて勝ち戦である」ということは誤りである

仮説: 「その付き添い人は見開かないがしかしふやかす」ということは成り立たない
1. 仮定1: 以下のように仮定する。この割り算は満喫するけど造設しない
2. 事実6と仮定1から、推論1: "あの六十三．三．十四基発は谷地であるということはない"が導かれる
3. 推論1と事実14から、推論2: "あの六十三．三．十四基発は生活環だ"が導かれる
4. 事実16から、推論3: "あの六十三．三．十四基発は生活環でない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "「この割り算は満喫するけどそれは造設しない」ということは事実であるということはない"が導かれる
7. 推論5と事実10から、推論6: "この割り算は葡萄品種であるということはない"が導かれる
8. 推論6と事実12から、推論7: "「この割り算は血液循環であるししかも輸送頻度である」ということは間違いだ"が導かれる
9. 推論7と事実3から、推論8: "あの奥の手はふやかさない"が導かれる
10. 推論8と事実11から、仮説が否定される

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