この三者構成は年当時でない
fact1: 「この三者構成は即答だ」ということは真実だ fact2: なにがしかのものは息継ぎでないかまたは即答であるかまたはどちらもである fact3: もしあの暗は中退するということはないなら「その参照方式は相乗するしおまけにＢ群である」ということは成り立たない fact4: もしその参照方式は受け難いとすれば「あの暗は気忙しくないし化かさない」ということは正しくない fact5: もしなにかは相乗しないとすればそれはＢ群でないししかもそれは中退する fact6: 仮に「息継ぎでないかもしくは即答でないかあるいはどちらもな」物があるとしたらあの暗は中退しない fact7: もし仮に「なにがしかの物は耳栓しなくて客席数でない」ということは確かでないとしたらそれは上がり始めない fact8: もしも「なにがしかの物は年当時でないかあるいは中退する」ということは嘘であるとしたら「それは即答だ」ということは成り立つ fact9: 「あの暗は気忙しくなくて化かさない」ということは成り立たないとすればこの三者構成は相乗しない fact10: 「「なにがしかのものが相乗するしその上それはＢ群だ」ということは本当だ」ということは誤っているとすればそれは化かさない fact11: ある物がＢ群でないがしかしそれが中退すれば即答である fact12: もし仮にとあるものが受け難くないならその参照方式は化かすしそれは気忙しい fact13: 仮に「あの城跡は造形美であるということはないがしかしそれは受け難い」ということは偽だとすればその参照方式は受け難い fact14: 仮に「とあるものは息継ぎでないか即答である」ということは偽だとしたらそれは年当時だ fact15: 仮にその参照方式が相乗しないとすればそれは化かさない fact16: もし「この三者構成は息継ぎでないかもしくは即答であるかまたは両方だ」ということは確かでないとすると「それは年当時である」ということは確かだ fact17: その石段作りは気忙しい fact18: もしも「何らかのものは付き始めないかまたは託すかどちらもだ」ということは事実と異なるとしたらそれはプレイ中である fact19: 「受け難くない」物はある fact20: もしもなにかは上がり始めないとすれば「それは造形美でないし更にそれは受け難い」ということは間違いだ fact21: この親族会は飛び乗る fact22: もし「何かは息継ぎでないか即答でないかもしくはどちらもである」ということは嘘ならばそれは年当時である
void -> assump1: 以下のように仮定する。この三者構成は息継ぎでないかあるいは即答であるということはないかあるいはどちらもである; assump1 -> int1: 「息継ぎでないかもしくは即答でないかまたは両方である」ものはある; int1 & fact6 -> int2: あの暗は中退しない; int2 & fact3 -> int3: 「「その参照方式は相乗するしそれはＢ群だ」ということは成り立たない」ということは確かだ; fact10 -> int4: もしも「その参照方式は相乗するししかもＢ群である」ということは事実と異なるとすればそれは化かさない; int3 & int4 -> int5: その参照方式は化かさない; fact12 & fact19 -> int6: その参照方式は化かすし気忙しい; int6 -> int7: その参照方式は化かす; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この三者構成は息継ぎでないかあるいは即答でないかもしくは両方だ」ということは成り立たない; fact22 -> int10: もしも「この三者構成は息継ぎでないかそれは即答であるということはない」ということは誤っているならそれは年当時である; int9 & int10 -> hypothesis;
「この三者構成は年当時でない」ということは本当である
fact27 -> int11: 「この三者構成はＢ群でないがしかし中退する」ということは成り立てば即答である; fact24 -> int12: もしこの三者構成が相乗しないとするとＢ群であるということはなくておまけに中退する; fact25 -> int13: もしもあの城跡は上がり始めないとしたら「造形美でないし受け難い」ということは成り立たない; fact28 -> int14: もし仮に「あの城跡は耳栓しないしその上客席数でない」ということは成り立たないとしたらそれは上がり始めない; fact29 -> int15: 何かは飛び乗る;
$facts$ = fact1: 「この三者構成は即答だ」ということは真実だ fact2: なにがしかのものは息継ぎでないかまたは即答であるかまたはどちらもである fact3: もしあの暗は中退するということはないなら「その参照方式は相乗するしおまけにＢ群である」ということは成り立たない fact4: もしその参照方式は受け難いとすれば「あの暗は気忙しくないし化かさない」ということは正しくない fact5: もしなにかは相乗しないとすればそれはＢ群でないししかもそれは中退する fact6: 仮に「息継ぎでないかもしくは即答でないかあるいはどちらもな」物があるとしたらあの暗は中退しない fact7: もし仮に「なにがしかの物は耳栓しなくて客席数でない」ということは確かでないとしたらそれは上がり始めない fact8: もしも「なにがしかの物は年当時でないかあるいは中退する」ということは嘘であるとしたら「それは即答だ」ということは成り立つ fact9: 「あの暗は気忙しくなくて化かさない」ということは成り立たないとすればこの三者構成は相乗しない fact10: 「「なにがしかのものが相乗するしその上それはＢ群だ」ということは本当だ」ということは誤っているとすればそれは化かさない fact11: ある物がＢ群でないがしかしそれが中退すれば即答である fact12: もし仮にとあるものが受け難くないならその参照方式は化かすしそれは気忙しい fact13: 仮に「あの城跡は造形美であるということはないがしかしそれは受け難い」ということは偽だとすればその参照方式は受け難い fact14: 仮に「とあるものは息継ぎでないか即答である」ということは偽だとしたらそれは年当時だ fact15: 仮にその参照方式が相乗しないとすればそれは化かさない fact16: もし「この三者構成は息継ぎでないかもしくは即答であるかまたは両方だ」ということは確かでないとすると「それは年当時である」ということは確かだ fact17: その石段作りは気忙しい fact18: もしも「何らかのものは付き始めないかまたは託すかどちらもだ」ということは事実と異なるとしたらそれはプレイ中である fact19: 「受け難くない」物はある fact20: もしもなにかは上がり始めないとすれば「それは造形美でないし更にそれは受け難い」ということは間違いだ fact21: この親族会は飛び乗る fact22: もし「何かは息継ぎでないか即答でないかもしくはどちらもである」ということは嘘ならばそれは年当時である ; $hypothesis$ = この三者構成は年当時でない ; $proof$ = 
void -> assump1: 以下のように仮定する。この三者構成は息継ぎでないかあるいは即答であるということはないかあるいはどちらもである; assump1 -> int1: 「息継ぎでないかもしくは即答でないかまたは両方である」ものはある; int1 & fact6 -> int2: あの暗は中退しない; int2 & fact3 -> int3: 「「その参照方式は相乗するしそれはＢ群だ」ということは成り立たない」ということは確かだ; fact10 -> int4: もしも「その参照方式は相乗するししかもＢ群である」ということは事実と異なるとすればそれは化かさない; int3 & int4 -> int5: その参照方式は化かさない; fact12 & fact19 -> int6: その参照方式は化かすし気忙しい; int6 -> int7: その参照方式は化かす; int5 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: 「この三者構成は息継ぎでないかあるいは即答でないかもしくは両方だ」ということは成り立たない; fact22 -> int10: もしも「この三者構成は息継ぎでないかそれは即答であるということはない」ということは誤っているならそれは年当時である; int9 & int10 -> hypothesis; __DISPROVED__
事実1: 「この三者構成は即答だ」ということは真実だ
事実2: なにがしかのものは息継ぎでないかまたは即答であるかまたはどちらもである
事実3: もしあの暗は中退するということはないなら「その参照方式は相乗するしおまけにＢ群である」ということは成り立たない
事実4: もしその参照方式は受け難いとすれば「あの暗は気忙しくないし化かさない」ということは正しくない
事実5: もしなにかは相乗しないとすればそれはＢ群でないししかもそれは中退する
事実6: 仮に「息継ぎでないかもしくは即答でないかあるいはどちらもな」物があるとしたらあの暗は中退しない
事実7: もし仮に「なにがしかの物は耳栓しなくて客席数でない」ということは確かでないとしたらそれは上がり始めない
事実8: もしも「なにがしかの物は年当時でないかあるいは中退する」ということは嘘であるとしたら「それは即答だ」ということは成り立つ
事実9: 「あの暗は気忙しくなくて化かさない」ということは成り立たないとすればこの三者構成は相乗しない
事実10: 「「なにがしかのものが相乗するしその上それはＢ群だ」ということは本当だ」ということは誤っているとすればそれは化かさない
事実11: ある物がＢ群でないがしかしそれが中退すれば即答である
事実12: もし仮にとあるものが受け難くないならその参照方式は化かすしそれは気忙しい
事実13: 仮に「あの城跡は造形美であるということはないがしかしそれは受け難い」ということは偽だとすればその参照方式は受け難い
事実14: 仮に「とあるものは息継ぎでないか即答である」ということは偽だとしたらそれは年当時だ
事実15: 仮にその参照方式が相乗しないとすればそれは化かさない
事実16: もし「この三者構成は息継ぎでないかもしくは即答であるかまたは両方だ」ということは確かでないとすると「それは年当時である」ということは確かだ
事実17: その石段作りは気忙しい
事実18: もしも「何らかのものは付き始めないかまたは託すかどちらもだ」ということは事実と異なるとしたらそれはプレイ中である
事実19: 「受け難くない」物はある
事実20: もしもなにかは上がり始めないとすれば「それは造形美でないし更にそれは受け難い」ということは間違いだ
事実21: この親族会は飛び乗る
事実22: もし「何かは息継ぎでないか即答でないかもしくはどちらもである」ということは嘘ならばそれは年当時である

仮説: この三者構成は年当時でない
1. 仮定1: 以下のように仮定する。この三者構成は息継ぎでないかあるいは即答であるということはないかあるいはどちらもである
2. 仮定1から、推論1: "「息継ぎでないかもしくは即答でないかまたは両方である」ものはある"が導かれる
3. 推論1と事実6から、推論2: "あの暗は中退しない"が導かれる
4. 推論2と事実3から、推論3: "「「その参照方式は相乗するしそれはＢ群だ」ということは成り立たない」ということは確かだ"が導かれる
5. 事実10から、推論4: "もしも「その参照方式は相乗するししかもＢ群である」ということは事実と異なるとすればそれは化かさない"が導かれる
6. 推論3と推論4から、推論5: "その参照方式は化かさない"が導かれる
7. 事実12と事実19から、推論6: "その参照方式は化かすし気忙しい"が導かれる
8. 推論6から、推論7: "その参照方式は化かす"が導かれる
9. 推論5と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "「この三者構成は息継ぎでないかあるいは即答でないかもしくは両方だ」ということは成り立たない"が導かれる
11. 事実22から、推論10: "もしも「この三者構成は息継ぎでないかそれは即答であるということはない」ということは誤っているならそれは年当時である"が導かれる
12. 推論9と推論10から、仮説が否定される

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