この事前行使はオーケーする
fact1: 仮に「あの談論風発は寂しかないしまたそれは混雑しない」ということは嘘だとしたら懐妊しない fact2: 「あるものは寂しかない」ということは成り立てば「それは混雑しなくてそれは少年マガジンである」ということは本当でない fact3: もし仮にあの談論風発が早くないとしたらこの事前行使は遣り易い fact4: もしもあの週刊金曜日が少年マガジンだとしたらその定時は混雑する fact5: もし仮に早くない物が懐妊しないならそれは寂しかない fact6: あの週刊金曜日は逝去しないとすれば「早くない」ということは偽でない fact7: 「あの談論風発は早いがしかし懐妊しない」ということは成り立たない fact8: もしもこの事前行使が遣り易いとするとそれはオーケーする fact9: 仮に「あの週刊金曜日は混雑しないけどそれは少年マガジンである」ということは真実でないとするとこの事前行使はオーケーしない fact10: 仮にその定時は混雑するとすると「あの談論風発は寂しかなくてそれに混雑しない」ということは事実と異なる fact11: あの週刊金曜日は少年マガジンだ
fact4 & fact11 -> int1: その定時は混雑する; int1 & fact10 -> int2: 「あの談論風発は寂しかないしかつ混雑しない」ということは間違っている; int2 & fact1 -> int3: あの談論風発は懐妊しない; void -> assump1: 以下のように仮定する。あの談論風発は早い; int3 & assump1 -> int4: あの談論風発は早いがしかし懐妊しない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの談論風発は早いということはない; int6 & fact3 -> int7: この事前行使は遣り易い; int7 & fact8 -> hypothesis;
この事前行使はオーケーしない
fact12 -> int8: もし仮にあの週刊金曜日は寂しかないなら「混雑しないしそれは少年マガジンだ」ということは誤っている; fact13 -> int9: 仮にあの週刊金曜日は早くないし加えて懐妊しないとしたらそれは寂しいということはない;
$facts$ = fact1: 仮に「あの談論風発は寂しかないしまたそれは混雑しない」ということは嘘だとしたら懐妊しない fact2: 「あるものは寂しかない」ということは成り立てば「それは混雑しなくてそれは少年マガジンである」ということは本当でない fact3: もし仮にあの談論風発が早くないとしたらこの事前行使は遣り易い fact4: もしもあの週刊金曜日が少年マガジンだとしたらその定時は混雑する fact5: もし仮に早くない物が懐妊しないならそれは寂しかない fact6: あの週刊金曜日は逝去しないとすれば「早くない」ということは偽でない fact7: 「あの談論風発は早いがしかし懐妊しない」ということは成り立たない fact8: もしもこの事前行使が遣り易いとするとそれはオーケーする fact9: 仮に「あの週刊金曜日は混雑しないけどそれは少年マガジンである」ということは真実でないとするとこの事前行使はオーケーしない fact10: 仮にその定時は混雑するとすると「あの談論風発は寂しかなくてそれに混雑しない」ということは事実と異なる fact11: あの週刊金曜日は少年マガジンだ ; $hypothesis$ = この事前行使はオーケーする ; $proof$ = 
fact4 & fact11 -> int1: その定時は混雑する; int1 & fact10 -> int2: 「あの談論風発は寂しかないしかつ混雑しない」ということは間違っている; int2 & fact1 -> int3: あの談論風発は懐妊しない; void -> assump1: 以下のように仮定する。あの談論風発は早い; int3 & assump1 -> int4: あの談論風発は早いがしかし懐妊しない; int4 & fact7 -> int5: これは矛盾である; [assump1] & int5 -> int6: あの談論風発は早いということはない; int6 & fact3 -> int7: この事前行使は遣り易い; int7 & fact8 -> hypothesis; __PROVED__
事実1: 仮に「あの談論風発は寂しかないしまたそれは混雑しない」ということは嘘だとしたら懐妊しない
事実2: 「あるものは寂しかない」ということは成り立てば「それは混雑しなくてそれは少年マガジンである」ということは本当でない
事実3: もし仮にあの談論風発が早くないとしたらこの事前行使は遣り易い
事実4: もしもあの週刊金曜日が少年マガジンだとしたらその定時は混雑する
事実5: もし仮に早くない物が懐妊しないならそれは寂しかない
事実6: あの週刊金曜日は逝去しないとすれば「早くない」ということは偽でない
事実7: 「あの談論風発は早いがしかし懐妊しない」ということは成り立たない
事実8: もしもこの事前行使が遣り易いとするとそれはオーケーする
事実9: 仮に「あの週刊金曜日は混雑しないけどそれは少年マガジンである」ということは真実でないとするとこの事前行使はオーケーしない
事実10: 仮にその定時は混雑するとすると「あの談論風発は寂しかなくてそれに混雑しない」ということは事実と異なる
事実11: あの週刊金曜日は少年マガジンだ

仮説: この事前行使はオーケーする
1. 事実4と事実11から、推論1: "その定時は混雑する"が導かれる
2. 推論1と事実10から、推論2: "「あの談論風発は寂しかないしかつ混雑しない」ということは間違っている"が導かれる
3. 推論2と事実1から、推論3: "あの談論風発は懐妊しない"が導かれる
4. 仮定1: 以下のように仮定する。あの談論風発は早い
5. 推論3と仮定1から、推論4: "あの談論風発は早いがしかし懐妊しない"が導かれる
6. 推論4と事実7から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "あの談論風発は早いということはない"が導かれる
8. 推論6と事実3から、推論7: "この事前行使は遣り易い"が導かれる
9. 推論7と事実8から、仮説が導かれる

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