あのヘッジ目的は区であるということはない
fact1: もしもその身体的自己が駆け抜けるということはないし見逃せないとするとこのオックスフォード・サーカス駅下車はルーバーでない fact2: 「「この竈は循環する一方で可愛くない」ということは成り立たない」ということは成り立つとすればこのオックスフォード・サーカス駅下車は循環する fact3: 「可愛いということはない」ものはある fact4: もしもこのオックスフォード・サーカス駅下車はルーバーであるということはないとすればそれは乗り易くない fact5: もしも可愛くない物はあるなら「あの政治権力者は意義深くないしおまけに省かない」ということは成り立たない fact6: 「この竈は循環するけれど乗り易くない」ということは偽ならば省かない fact7: 仮にこのオックスフォード・サーカス駅下車は乗り易くないとしたら「この竈は循環するけれどそれは乗り易くない」ということは成り立たない fact8: もし仮に「「意義深くないしそれに省かない」ということは偽な」物があればこの竈は省く fact9: もしこのオックスフォード・サーカス駅下車が循環するとすればあの身体的自己は乗り易くない一方でルーバーだ fact10: 「その身体的自己は駆け抜けないし見逃せない」ということは成り立たないとすればあのヘッジ目的は区である
void -> assump1: 以下のように仮定する。「その身体的自己は駆け抜けないしまたそれは見逃せない」ということは成り立つ; fact1 & assump1 -> int1: このオックスフォード・サーカス駅下車はルーバーだということはない; int1 & fact4 -> int2: このオックスフォード・サーカス駅下車は乗り易くない; int2 & fact7 -> int3: 「この竈は循環する一方でそれは乗り易くない」ということは誤っている; int3 & fact6 -> int4: この竈は省かない; fact3 & fact5 -> int5: 「あの政治権力者は意義深くないしその上省かない」ということは成り立つということはない; int5 -> int6: 「「意義深くなくてそれに省かない」ということは誤りである」ものはある; fact8 & int6 -> int7: 「この竈は省く」ということは事実と異ならない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「その身体的自己は駆け抜けないしかつ見逃せない」ということは偽だ; int9 & fact10 -> hypothesis;
あのヘッジ目的は区でない
$facts$ = fact1: もしもその身体的自己が駆け抜けるということはないし見逃せないとするとこのオックスフォード・サーカス駅下車はルーバーでない fact2: 「「この竈は循環する一方で可愛くない」ということは成り立たない」ということは成り立つとすればこのオックスフォード・サーカス駅下車は循環する fact3: 「可愛いということはない」ものはある fact4: もしもこのオックスフォード・サーカス駅下車はルーバーであるということはないとすればそれは乗り易くない fact5: もしも可愛くない物はあるなら「あの政治権力者は意義深くないしおまけに省かない」ということは成り立たない fact6: 「この竈は循環するけれど乗り易くない」ということは偽ならば省かない fact7: 仮にこのオックスフォード・サーカス駅下車は乗り易くないとしたら「この竈は循環するけれどそれは乗り易くない」ということは成り立たない fact8: もし仮に「「意義深くないしそれに省かない」ということは偽な」物があればこの竈は省く fact9: もしこのオックスフォード・サーカス駅下車が循環するとすればあの身体的自己は乗り易くない一方でルーバーだ fact10: 「その身体的自己は駆け抜けないし見逃せない」ということは成り立たないとすればあのヘッジ目的は区である ; $hypothesis$ = あのヘッジ目的は区であるということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。「その身体的自己は駆け抜けないしまたそれは見逃せない」ということは成り立つ; fact1 & assump1 -> int1: このオックスフォード・サーカス駅下車はルーバーだということはない; int1 & fact4 -> int2: このオックスフォード・サーカス駅下車は乗り易くない; int2 & fact7 -> int3: 「この竈は循環する一方でそれは乗り易くない」ということは誤っている; int3 & fact6 -> int4: この竈は省かない; fact3 & fact5 -> int5: 「あの政治権力者は意義深くないしその上省かない」ということは成り立つということはない; int5 -> int6: 「「意義深くなくてそれに省かない」ということは誤りである」ものはある; fact8 & int6 -> int7: 「この竈は省く」ということは事実と異ならない; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「その身体的自己は駆け抜けないしかつ見逃せない」ということは偽だ; int9 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもその身体的自己が駆け抜けるということはないし見逃せないとするとこのオックスフォード・サーカス駅下車はルーバーでない
事実2: 「「この竈は循環する一方で可愛くない」ということは成り立たない」ということは成り立つとすればこのオックスフォード・サーカス駅下車は循環する
事実3: 「可愛いということはない」ものはある
事実4: もしもこのオックスフォード・サーカス駅下車はルーバーであるということはないとすればそれは乗り易くない
事実5: もしも可愛くない物はあるなら「あの政治権力者は意義深くないしおまけに省かない」ということは成り立たない
事実6: 「この竈は循環するけれど乗り易くない」ということは偽ならば省かない
事実7: 仮にこのオックスフォード・サーカス駅下車は乗り易くないとしたら「この竈は循環するけれどそれは乗り易くない」ということは成り立たない
事実8: もし仮に「「意義深くないしそれに省かない」ということは偽な」物があればこの竈は省く
事実9: もしこのオックスフォード・サーカス駅下車が循環するとすればあの身体的自己は乗り易くない一方でルーバーだ
事実10: 「その身体的自己は駆け抜けないし見逃せない」ということは成り立たないとすればあのヘッジ目的は区である

仮説: あのヘッジ目的は区であるということはない
1. 仮定1: 以下のように仮定する。「その身体的自己は駆け抜けないしまたそれは見逃せない」ということは成り立つ
2. 事実1と仮定1から、推論1: "このオックスフォード・サーカス駅下車はルーバーだということはない"が導かれる
3. 推論1と事実4から、推論2: "このオックスフォード・サーカス駅下車は乗り易くない"が導かれる
4. 推論2と事実7から、推論3: "「この竈は循環する一方でそれは乗り易くない」ということは誤っている"が導かれる
5. 推論3と事実6から、推論4: "この竈は省かない"が導かれる
6. 事実3と事実5から、推論5: "「あの政治権力者は意義深くないしその上省かない」ということは成り立つということはない"が導かれる
7. 推論5から、推論6: "「「意義深くなくてそれに省かない」ということは誤りである」ものはある"が導かれる
8. 事実8と推論6から、推論7: "「この竈は省く」ということは事実と異ならない"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「その身体的自己は駆け抜けないしかつ見逃せない」ということは偽だ"が導かれる
11. 推論9と事実10から、仮説が否定される

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