あの駅夫日記は最高幹部でない
fact1: もし仮に「あの先刻は壊れ難いけれど動態撮影でない」ということは偽であるならば壊れ難くない fact2: もしも「「御名字であるということはない」ということは本当である」ものがあるならあの女性問題担当者は寮母達でないかもしくはそれは御名字だということはない fact3: あるものは最高幹部であるとしたら「それは動態撮影である」ということは成り立つ fact4: 「あの先刻は仕舞い易い」ということは正しい fact5: あらゆるものは寮母達であるかまたはそれはビデオシグナルであるかまたは両方である fact6: あの先刻は遣り続けない fact7: 「その目黒書店は改正するがしかし遣り続けない」ということは成り立たない fact8: あの先刻は寮母達であるなら動態撮影だ fact9: この下手物は壊れ難い fact10: もし仮に「何らかのものは動態撮影である」ということは正しいとすると「あの先刻は壊れ難いけれどそれは動態撮影だということはない」ということは成り立つということはない fact11: 仮に「あの先刻は逼塞するということはない」ということは確かだとしたら「その目黒書店は改正するけれど遣り続けない」ということは間違いだ fact12: もしあの先刻はビデオシグナルだとすると「それは動態撮影である」ということは事実だ fact13: 何らかのものは逼塞する fact14: もしあるものが逼塞するしおまけに動態撮影であるとすればあの駅夫日記は最高幹部でない fact15: 何かは御名字でない fact16: その目黒書店は最高幹部であるしかつそれはビデオシグナルだ fact17: もしもこの下手物はビデオシグナルでないが逼塞するなら「その目黒書店は逼塞しない」ということは間違っていない fact18: もし仮に「その目黒書店は改正しなくて加えて遣り続けない」ということは間違いならば「この下手物は壊れ難くない」ということは成り立つ fact19: あらゆるものは改正するかまたは寮母達だ fact20: なにがしかのものは動態撮影である fact21: この下手物は動態撮影だということはない fact22: もし仮にあの先刻は逼塞しないならば「その目黒書店は改正しないし遣り続けない」ということは成り立たない fact23: もし「あの先刻は逼塞するけれど壊れ難くない」ということは事実と異なればあの駅夫日記は最高幹部だ fact24: もし仮に「その目黒書店は改正する」ということは本当であるとするとこの下手物は壊れ難くない
void -> assump1: 以下のように仮定する。あの先刻は逼塞しない; fact22 & assump1 -> int1: 「その目黒書店は改正しなくてかつそれは遣り続けない」ということは間違っている; int1 & fact18 -> int2: 「この下手物は壊れ難いということはない」ということは真実である; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの先刻は逼塞する; fact5 -> int5: あの先刻は寮母達であるかもしくはビデオシグナルであるかもしくはどちらもだ; fact12 & int5 & fact8 -> int6: あの先刻は動態撮影である; int4 & int6 -> int7: あの先刻は逼塞するしさらに動態撮影だ; int7 -> int8: なにがしかの物は逼塞するしその上動態撮影である; int8 & fact14 -> hypothesis;
あの駅夫日記は遣り続ける
fact28 -> int9: もし仮にその目黒書店は最高幹部であるならば動態撮影である; fact25 -> int10: その目黒書店は最高幹部である; int9 & int10 -> int11: 「その目黒書店は動態撮影だ」ということは真実だ; int11 -> int12: 「動態撮影である」ものはある; int12 & fact27 -> int13: 「あの先刻は壊れ難いけどそれは動態撮影でない」ということは成り立たない; fact26 & int13 -> int14: あの先刻は壊れ難くない; int14 -> int15: 「壊れ難くない」物はある;
$facts$ = fact1: もし仮に「あの先刻は壊れ難いけれど動態撮影でない」ということは偽であるならば壊れ難くない fact2: もしも「「御名字であるということはない」ということは本当である」ものがあるならあの女性問題担当者は寮母達でないかもしくはそれは御名字だということはない fact3: あるものは最高幹部であるとしたら「それは動態撮影である」ということは成り立つ fact4: 「あの先刻は仕舞い易い」ということは正しい fact5: あらゆるものは寮母達であるかまたはそれはビデオシグナルであるかまたは両方である fact6: あの先刻は遣り続けない fact7: 「その目黒書店は改正するがしかし遣り続けない」ということは成り立たない fact8: あの先刻は寮母達であるなら動態撮影だ fact9: この下手物は壊れ難い fact10: もし仮に「何らかのものは動態撮影である」ということは正しいとすると「あの先刻は壊れ難いけれどそれは動態撮影だということはない」ということは成り立つということはない fact11: 仮に「あの先刻は逼塞するということはない」ということは確かだとしたら「その目黒書店は改正するけれど遣り続けない」ということは間違いだ fact12: もしあの先刻はビデオシグナルだとすると「それは動態撮影である」ということは事実だ fact13: 何らかのものは逼塞する fact14: もしあるものが逼塞するしおまけに動態撮影であるとすればあの駅夫日記は最高幹部でない fact15: 何かは御名字でない fact16: その目黒書店は最高幹部であるしかつそれはビデオシグナルだ fact17: もしもこの下手物はビデオシグナルでないが逼塞するなら「その目黒書店は逼塞しない」ということは間違っていない fact18: もし仮に「その目黒書店は改正しなくて加えて遣り続けない」ということは間違いならば「この下手物は壊れ難くない」ということは成り立つ fact19: あらゆるものは改正するかまたは寮母達だ fact20: なにがしかのものは動態撮影である fact21: この下手物は動態撮影だということはない fact22: もし仮にあの先刻は逼塞しないならば「その目黒書店は改正しないし遣り続けない」ということは成り立たない fact23: もし「あの先刻は逼塞するけれど壊れ難くない」ということは事実と異なればあの駅夫日記は最高幹部だ fact24: もし仮に「その目黒書店は改正する」ということは本当であるとするとこの下手物は壊れ難くない ; $hypothesis$ = あの駅夫日記は最高幹部でない ; $proof$ = 
void -> assump1: 以下のように仮定する。あの先刻は逼塞しない; fact22 & assump1 -> int1: 「その目黒書店は改正しなくてかつそれは遣り続けない」ということは間違っている; int1 & fact18 -> int2: 「この下手物は壊れ難いということはない」ということは真実である; int2 & fact9 -> int3: これは矛盾である; [assump1] & int3 -> int4: あの先刻は逼塞する; fact5 -> int5: あの先刻は寮母達であるかもしくはビデオシグナルであるかもしくはどちらもだ; fact12 & int5 & fact8 -> int6: あの先刻は動態撮影である; int4 & int6 -> int7: あの先刻は逼塞するしさらに動態撮影だ; int7 -> int8: なにがしかの物は逼塞するしその上動態撮影である; int8 & fact14 -> 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: もし「あの先刻は逼塞するけれど壊れ難くない」ということは事実と異なればあの駅夫日記は最高幹部だ
事実24: もし仮に「その目黒書店は改正する」ということは本当であるとするとこの下手物は壊れ難くない

仮説: あの駅夫日記は最高幹部でない
1. 仮定1: 以下のように仮定する。あの先刻は逼塞しない
2. 事実22と仮定1から、推論1: "「その目黒書店は改正しなくてかつそれは遣り続けない」ということは間違っている"が導かれる
3. 推論1と事実18から、推論2: "「この下手物は壊れ難いということはない」ということは真実である"が導かれる
4. 推論2と事実9から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あの先刻は逼塞する"が導かれる
6. 事実5から、推論5: "あの先刻は寮母達であるかもしくはビデオシグナルであるかもしくはどちらもだ"が導かれる
7. 事実12と推論5と事実8から、推論6: "あの先刻は動態撮影である"が導かれる
8. 推論4と推論6から、推論7: "あの先刻は逼塞するしさらに動態撮影だ"が導かれる
9. 推論7から、推論8: "なにがしかの物は逼塞するしその上動態撮影である"が導かれる
10. 推論8と事実14から、仮説が導かれる

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