この被面接者は粛清する
fact1: もし「軽ーい」ものはあるなら「その見劣りは困り切らないし警察当局でない」ということは成り立たない fact2: もしもなにがしかの物は粛清するしまた面白おかしいとしたら絶え間無くない fact3: 仮に「なにかは粛清しないが面白おかしい」ということは間違いであるとするとそれは粛清する fact4: 何かは軽ーい fact5: 「あの答申は横断的労働市場でない」ということは事実だ fact6: その見劣りは軽ーい fact7: 仮に御若いものが登山家らしいなら生まれ難くない fact8: この被面接者はパサデナ・コンサートであるということはないけれど横断的労働市場だ fact9: 「この被面接者は面白おかしい」ということは確かだ fact10: その見劣りはパサデナ・コンサートでないとすると警察当局でない fact11: もしも「「この被面接者は付け難くて加えて絶え間無い」ということは成り立つ」ということは誤っているとするとそれは上がり難いということはない fact12: 警察当局はパサデナ・コンサートであるかまたは横断的労働市場でないか両方である fact13: この被面接者は絶え間無くないとすれば「「その見劣りは横断的労働市場でパサデナ・コンサートである」ということは事実だ」ということは成り立たない fact14: もし仮にその見劣りが軽ーいとすればそれは警察当局である fact15: もしなにかは粛清しないとしたら「それは柔らか過ぎるしそれに鍛冶屋さんだ」ということは成り立たない fact16: なにがしかの物がパサデナ・コンサートであるか横断的労働市場だということはないとしたら「それは絶え間無い」ということは正しい fact17: もし「とある物は横断的労働市場であり更にパサデナ・コンサートだ」ということは嘘だとすればそれは警察当局でない fact18: 仮に何らかのものはパサデナ・コンサートであるということはないとすれば警察当局でない
void -> assump1: 以下のように仮定する。この被面接者は粛清する; assump1 & fact9 -> int1: この被面接者は粛清するしそれに面白おかしい; fact2 -> int2: もしこの被面接者は粛清するし面白おかしいならば絶え間無くない; int1 & int2 -> int3: 「この被面接者は絶え間無くない」ということは本当である; int3 & fact13 -> int4: 「その見劣りは横断的労働市場であるしその上それはパサデナ・コンサートである」ということは嘘である; fact17 -> int5: もしも「「その見劣りは横断的労働市場であるししかもパサデナ・コンサートである」ということは成り立たない」ということは成り立てば「警察当局でない」ということは真実である; int4 & int5 -> int6: その見劣りは警察当局でない; fact6 & fact14 -> int7: その見劣りは警察当局だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis;
この被面接者は粛清する
fact21 -> int9: もし仮に「この被面接者は粛清しないが面白おかしい」ということは成り立たないとすれば「粛清する」ということは事実だ; fact22 -> int10: もし仮にこの被面接者はパサデナ・コンサートであるかもしくは横断的労働市場であるということはないとすればそれは絶え間無い; fact23 -> int11: 仮にこの被面接者が警察当局であるならばそれはパサデナ・コンサートであるかそれは横断的労働市場でないかあるいは両方だ; fact20 & fact19 -> int12: 「その見劣りは困り切らなくて警察当局でない」ということは嘘である; int12 -> int13: 「「困り切るということはないしさらに警察当局でない」ということは誤っている」物はある;
$facts$ = fact1: もし「軽ーい」ものはあるなら「その見劣りは困り切らないし警察当局でない」ということは成り立たない fact2: もしもなにがしかの物は粛清するしまた面白おかしいとしたら絶え間無くない fact3: 仮に「なにかは粛清しないが面白おかしい」ということは間違いであるとするとそれは粛清する fact4: 何かは軽ーい fact5: 「あの答申は横断的労働市場でない」ということは事実だ fact6: その見劣りは軽ーい fact7: 仮に御若いものが登山家らしいなら生まれ難くない fact8: この被面接者はパサデナ・コンサートであるということはないけれど横断的労働市場だ fact9: 「この被面接者は面白おかしい」ということは確かだ fact10: その見劣りはパサデナ・コンサートでないとすると警察当局でない fact11: もしも「「この被面接者は付け難くて加えて絶え間無い」ということは成り立つ」ということは誤っているとするとそれは上がり難いということはない fact12: 警察当局はパサデナ・コンサートであるかまたは横断的労働市場でないか両方である fact13: この被面接者は絶え間無くないとすれば「「その見劣りは横断的労働市場でパサデナ・コンサートである」ということは事実だ」ということは成り立たない fact14: もし仮にその見劣りが軽ーいとすればそれは警察当局である fact15: もしなにかは粛清しないとしたら「それは柔らか過ぎるしそれに鍛冶屋さんだ」ということは成り立たない fact16: なにがしかの物がパサデナ・コンサートであるか横断的労働市場だということはないとしたら「それは絶え間無い」ということは正しい fact17: もし「とある物は横断的労働市場であり更にパサデナ・コンサートだ」ということは嘘だとすればそれは警察当局でない fact18: 仮に何らかのものはパサデナ・コンサートであるということはないとすれば警察当局でない ; $hypothesis$ = この被面接者は粛清する ; $proof$ = 
void -> assump1: 以下のように仮定する。この被面接者は粛清する; assump1 & fact9 -> int1: この被面接者は粛清するしそれに面白おかしい; fact2 -> int2: もしこの被面接者は粛清するし面白おかしいならば絶え間無くない; int1 & int2 -> int3: 「この被面接者は絶え間無くない」ということは本当である; int3 & fact13 -> int4: 「その見劣りは横断的労働市場であるしその上それはパサデナ・コンサートである」ということは嘘である; fact17 -> int5: もしも「「その見劣りは横断的労働市場であるししかもパサデナ・コンサートである」ということは成り立たない」ということは成り立てば「警察当局でない」ということは真実である; int4 & int5 -> int6: その見劣りは警察当局でない; fact6 & fact14 -> int7: その見劣りは警察当局だ; int6 & int7 -> int8: これは矛盾である; [assump1] & int8 -> hypothesis; __DISPROVED__
事実1: もし「軽ーい」ものはあるなら「その見劣りは困り切らないし警察当局でない」ということは成り立たない
事実2: もしもなにがしかの物は粛清するしまた面白おかしいとしたら絶え間無くない
事実3: 仮に「なにかは粛清しないが面白おかしい」ということは間違いであるとするとそれは粛清する
事実4: 何かは軽ーい
事実5: 「あの答申は横断的労働市場でない」ということは事実だ
事実6: その見劣りは軽ーい
事実7: 仮に御若いものが登山家らしいなら生まれ難くない
事実8: この被面接者はパサデナ・コンサートであるということはないけれど横断的労働市場だ
事実9: 「この被面接者は面白おかしい」ということは確かだ
事実10: その見劣りはパサデナ・コンサートでないとすると警察当局でない
事実11: もしも「「この被面接者は付け難くて加えて絶え間無い」ということは成り立つ」ということは誤っているとするとそれは上がり難いということはない
事実12: 警察当局はパサデナ・コンサートであるかまたは横断的労働市場でないか両方である
事実13: この被面接者は絶え間無くないとすれば「「その見劣りは横断的労働市場でパサデナ・コンサートである」ということは事実だ」ということは成り立たない
事実14: もし仮にその見劣りが軽ーいとすればそれは警察当局である
事実15: もしなにかは粛清しないとしたら「それは柔らか過ぎるしそれに鍛冶屋さんだ」ということは成り立たない
事実16: なにがしかの物がパサデナ・コンサートであるか横断的労働市場だということはないとしたら「それは絶え間無い」ということは正しい
事実17: もし「とある物は横断的労働市場であり更にパサデナ・コンサートだ」ということは嘘だとすればそれは警察当局でない
事実18: 仮に何らかのものはパサデナ・コンサートであるということはないとすれば警察当局でない

仮説: この被面接者は粛清する
1. 仮定1: 以下のように仮定する。この被面接者は粛清する
2. 仮定1と事実9から、推論1: "この被面接者は粛清するしそれに面白おかしい"が導かれる
3. 事実2から、推論2: "もしこの被面接者は粛清するし面白おかしいならば絶え間無くない"が導かれる
4. 推論1と推論2から、推論3: "「この被面接者は絶え間無くない」ということは本当である"が導かれる
5. 推論3と事実13から、推論4: "「その見劣りは横断的労働市場であるしその上それはパサデナ・コンサートである」ということは嘘である"が導かれる
6. 事実17から、推論5: "もしも「「その見劣りは横断的労働市場であるししかもパサデナ・コンサートである」ということは成り立たない」ということは成り立てば「警察当局でない」ということは真実である"が導かれる
7. 推論4と推論5から、推論6: "その見劣りは警察当局でない"が導かれる
8. 事実6と事実14から、推論7: "その見劣りは警察当局だ"が導かれる
9. 推論6と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、仮説が否定される

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