「あの半円は感慨深くない」ということは本当である
fact1: あらゆるものは尊しないかあるいは振り返すということはないかもしくはどちらもである fact2: もしも「あの下辺は返還するし気付き易い」ということは成り立たないならあの半円は返還しない fact3: 「とある物は三日以後生まれであるが宮内記者会であるということはない」ということは成り立つということはないならば返還するということはない fact4: もし仮に何かは気付き易いとしたら感慨深くない fact5: あの下辺は聞き逃す fact6: あの必要事項は尊し fact7: 「何かは尊し物で感慨深くない」ということは成り立つということはないとするとそれは振り返すということはない fact8: 「あの半円は感慨深くてそれは宮内記者会である」ということは成り立たない fact9: あの必要事項が尊しならこの殺虫剤は気付き易い fact10: もし仮に「とあるものは指揮系統だけど軍人らしくない」ということは間違っているとしたらふてぶてしくない fact11: あの下辺は宮内記者会だ fact12: もし仮にあるものは聞き逃せば「それは尊し一方で感慨深くない」ということは成り立たない fact13: あの下辺は切ないということはないとすると「この殺虫剤が三日以後生まれだけどそれは宮内記者会でない」ということは偽である fact14: 仮にある物が尋ね始めるなら凌駕する fact15: あの必要事項は返還する fact16: もしある物が気付き易いとすれば返還する fact17: なにかは尊しないかもしくはそれは振り返さないかまたは両方ともであるとしたら振り返さない fact18: もしも「振り返さない」物があればこの春季オープン・カレッジは返還するということはない fact19: もしもなんらかのものが切ないか振り返すとするとあの半円は感慨深いということはない
void -> assump1: 以下のように仮定する。あの下辺は切なくない; fact13 & assump1 -> int1: 「この殺虫剤は三日以後生まれだけれどそれは宮内記者会でない」ということは成り立たない; fact3 -> int2: 仮に「この殺虫剤は三日以後生まれであるがしかしそれは宮内記者会でない」ということは誤りなら返還しない; int1 & int2 -> int3: 「この殺虫剤は返還しない」ということは事実だ; fact16 -> int4: 仮にこの殺虫剤が気付き易いとすればそれは返還する; fact9 & fact6 -> int5: この殺虫剤は気付き易い; int4 & int5 -> int6: この殺虫剤は返還する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの下辺は切ない; int8 -> int9: あの下辺は切ないかあるいは振り返すか両方ともである; int9 -> int10: ある物は切ないかもしくは振り返す; int10 & fact19 -> hypothesis;
この春季オープン・カレッジは気付き易い
fact22 -> int11: もし仮に「あの下辺は尊しがしかし感慨深いということはない」ということは嘘なら振り返さない; fact23 -> int12: 仮にあの下辺は聞き逃すなら「「尊ししおまけに感慨深くない」ということは本当だ」ということは正しいということはない; int12 & fact20 -> int13: 「あの下辺は尊しけれど感慨深くない」ということは誤っている; int11 & int13 -> int14: あの下辺は振り返さない; int14 -> int15: 「「振り返すということはない」ということは成り立つ」ものはある; int15 & fact21 -> int16: この春季オープン・カレッジは返還しない;
$facts$ = fact1: あらゆるものは尊しないかあるいは振り返すということはないかもしくはどちらもである fact2: もしも「あの下辺は返還するし気付き易い」ということは成り立たないならあの半円は返還しない fact3: 「とある物は三日以後生まれであるが宮内記者会であるということはない」ということは成り立つということはないならば返還するということはない fact4: もし仮に何かは気付き易いとしたら感慨深くない fact5: あの下辺は聞き逃す fact6: あの必要事項は尊し fact7: 「何かは尊し物で感慨深くない」ということは成り立つということはないとするとそれは振り返すということはない fact8: 「あの半円は感慨深くてそれは宮内記者会である」ということは成り立たない fact9: あの必要事項が尊しならこの殺虫剤は気付き易い fact10: もし仮に「とあるものは指揮系統だけど軍人らしくない」ということは間違っているとしたらふてぶてしくない fact11: あの下辺は宮内記者会だ fact12: もし仮にあるものは聞き逃せば「それは尊し一方で感慨深くない」ということは成り立たない fact13: あの下辺は切ないということはないとすると「この殺虫剤が三日以後生まれだけどそれは宮内記者会でない」ということは偽である fact14: 仮にある物が尋ね始めるなら凌駕する fact15: あの必要事項は返還する fact16: もしある物が気付き易いとすれば返還する fact17: なにかは尊しないかもしくはそれは振り返さないかまたは両方ともであるとしたら振り返さない fact18: もしも「振り返さない」物があればこの春季オープン・カレッジは返還するということはない fact19: もしもなんらかのものが切ないか振り返すとするとあの半円は感慨深いということはない ; $hypothesis$ = 「あの半円は感慨深くない」ということは本当である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの下辺は切なくない; fact13 & assump1 -> int1: 「この殺虫剤は三日以後生まれだけれどそれは宮内記者会でない」ということは成り立たない; fact3 -> int2: 仮に「この殺虫剤は三日以後生まれであるがしかしそれは宮内記者会でない」ということは誤りなら返還しない; int1 & int2 -> int3: 「この殺虫剤は返還しない」ということは事実だ; fact16 -> int4: 仮にこの殺虫剤が気付き易いとすればそれは返還する; fact9 & fact6 -> int5: この殺虫剤は気付き易い; int4 & int5 -> int6: この殺虫剤は返還する; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: あの下辺は切ない; int8 -> int9: あの下辺は切ないかあるいは振り返すか両方ともである; int9 -> int10: ある物は切ないかもしくは振り返す; int10 & fact19 -> hypothesis; __PROVED__
事実1: あらゆるものは尊しないかあるいは振り返すということはないかもしくはどちらもである
事実2: もしも「あの下辺は返還するし気付き易い」ということは成り立たないならあの半円は返還しない
事実3: 「とある物は三日以後生まれであるが宮内記者会であるということはない」ということは成り立つということはないならば返還するということはない
事実4: もし仮に何かは気付き易いとしたら感慨深くない
事実5: あの下辺は聞き逃す
事実6: あの必要事項は尊し
事実7: 「何かは尊し物で感慨深くない」ということは成り立つということはないとするとそれは振り返すということはない
事実8: 「あの半円は感慨深くてそれは宮内記者会である」ということは成り立たない
事実9: あの必要事項が尊しならこの殺虫剤は気付き易い
事実10: もし仮に「とあるものは指揮系統だけど軍人らしくない」ということは間違っているとしたらふてぶてしくない
事実11: あの下辺は宮内記者会だ
事実12: もし仮にあるものは聞き逃せば「それは尊し一方で感慨深くない」ということは成り立たない
事実13: あの下辺は切ないということはないとすると「この殺虫剤が三日以後生まれだけどそれは宮内記者会でない」ということは偽である
事実14: 仮にある物が尋ね始めるなら凌駕する
事実15: あの必要事項は返還する
事実16: もしある物が気付き易いとすれば返還する
事実17: なにかは尊しないかもしくはそれは振り返さないかまたは両方ともであるとしたら振り返さない
事実18: もしも「振り返さない」物があればこの春季オープン・カレッジは返還するということはない
事実19: もしもなんらかのものが切ないか振り返すとするとあの半円は感慨深いということはない

仮説: 「あの半円は感慨深くない」ということは本当である
1. 仮定1: 以下のように仮定する。あの下辺は切なくない
2. 事実13と仮定1から、推論1: "「この殺虫剤は三日以後生まれだけれどそれは宮内記者会でない」ということは成り立たない"が導かれる
3. 事実3から、推論2: "仮に「この殺虫剤は三日以後生まれであるがしかしそれは宮内記者会でない」ということは誤りなら返還しない"が導かれる
4. 推論1と推論2から、推論3: "「この殺虫剤は返還しない」ということは事実だ"が導かれる
5. 事実16から、推論4: "仮にこの殺虫剤が気付き易いとすればそれは返還する"が導かれる
6. 事実9と事実6から、推論5: "この殺虫剤は気付き易い"が導かれる
7. 推論4と推論5から、推論6: "この殺虫剤は返還する"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "あの下辺は切ない"が導かれる
10. 推論8から、推論9: "あの下辺は切ないかあるいは振り返すか両方ともである"が導かれる
11. 推論9から、推論10: "ある物は切ないかもしくは振り返す"が導かれる
12. 推論10と事実19から、仮説が導かれる

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