「あの大部は参ずるか金縛りであるか両方ともである」ということは間違いだ
fact1: あの大部は露呈する fact2: もしもとあるものが準備するとするとそれは忘れ難い fact3: もしもとある物は露呈するということはないとすれば「それは参ずるかあるいは金縛りである」ということは間違っている fact4: もし仮にこのカオスが露呈するということはないけど準備すればあの大部は露呈しない fact5: もし「なんらかのものは鉱工業品である」ということは事実ならそれは参ずる fact6: なんらかの物が露呈するけれど起こし易くないならこのカオスは準備する fact7: とある物は川崎山遺跡でないし更にそれは近付き易いということはない fact8: 温かいものは通れる fact9: まどろっこしいものは賢い fact10: 「「露呈するということはないしその上起こし易い」ものはある」ということは確かである fact11: 「露呈しない」ものはある fact12: 忘れ難いものはまどろっこしい fact13: もしもなんらかの物が露呈しないししかも起こし易くないとしたらこのカオスは準備する fact14: もしこのカオスが賢いとすればあの大部は鉱工業品だ fact15: 仮にあの褐色斑が総合化するとするとそれは起こし易い fact16: 近付き易い物は空間政策だ fact17: 仮にこのカオスが賢いとしたら金縛りだ fact18: 「露呈しなくて起こし易くない」ものはある
fact18 & fact13 -> int1: このカオスは準備する; fact2 -> int2: このカオスが準備すればそれは忘れ難い; int1 & int2 -> int3: このカオスは忘れ難い; fact12 -> int4: もし仮に「このカオスは忘れ難い」ということは成り立つとしたらそれはまどろっこしい; int3 & int4 -> int5: 「このカオスはまどろっこしい」ということは事実だ; fact9 -> int6: もしもこのカオスがまどろっこしいならそれは賢い; int5 & int6 -> int7: このカオスは賢い; int7 & fact14 -> int8: あの大部は鉱工業品だ; fact5 -> int9: もし仮にあの大部が鉱工業品だとすればそれは参ずる; int8 & int9 -> int10: あの大部は参ずる; int10 -> hypothesis;
「あの大部は参ずるかまたは金縛りであるかあるいは両方ともだ」ということは嘘である
fact19 -> int11: あの大部は露呈しないとすると「参ずるか金縛りであるかまたはどちらもである」ということは間違いである;
$facts$ = fact1: あの大部は露呈する fact2: もしもとあるものが準備するとするとそれは忘れ難い fact3: もしもとある物は露呈するということはないとすれば「それは参ずるかあるいは金縛りである」ということは間違っている fact4: もし仮にこのカオスが露呈するということはないけど準備すればあの大部は露呈しない fact5: もし「なんらかのものは鉱工業品である」ということは事実ならそれは参ずる fact6: なんらかの物が露呈するけれど起こし易くないならこのカオスは準備する fact7: とある物は川崎山遺跡でないし更にそれは近付き易いということはない fact8: 温かいものは通れる fact9: まどろっこしいものは賢い fact10: 「「露呈するということはないしその上起こし易い」ものはある」ということは確かである fact11: 「露呈しない」ものはある fact12: 忘れ難いものはまどろっこしい fact13: もしもなんらかの物が露呈しないししかも起こし易くないとしたらこのカオスは準備する fact14: もしこのカオスが賢いとすればあの大部は鉱工業品だ fact15: 仮にあの褐色斑が総合化するとするとそれは起こし易い fact16: 近付き易い物は空間政策だ fact17: 仮にこのカオスが賢いとしたら金縛りだ fact18: 「露呈しなくて起こし易くない」ものはある ; $hypothesis$ = 「あの大部は参ずるか金縛りであるか両方ともである」ということは間違いだ ; $proof$ = 
fact18 & fact13 -> int1: このカオスは準備する; fact2 -> int2: このカオスが準備すればそれは忘れ難い; int1 & int2 -> int3: このカオスは忘れ難い; fact12 -> int4: もし仮に「このカオスは忘れ難い」ということは成り立つとしたらそれはまどろっこしい; int3 & int4 -> int5: 「このカオスはまどろっこしい」ということは事実だ; fact9 -> int6: もしもこのカオスがまどろっこしいならそれは賢い; int5 & int6 -> int7: このカオスは賢い; int7 & fact14 -> int8: あの大部は鉱工業品だ; fact5 -> int9: もし仮にあの大部が鉱工業品だとすればそれは参ずる; int8 & int9 -> int10: あの大部は参ずる; int10 -> hypothesis; __DISPROVED__
事実1: あの大部は露呈する
事実2: もしもとあるものが準備するとするとそれは忘れ難い
事実3: もしもとある物は露呈するということはないとすれば「それは参ずるかあるいは金縛りである」ということは間違っている
事実4: もし仮にこのカオスが露呈するということはないけど準備すればあの大部は露呈しない
事実5: もし「なんらかのものは鉱工業品である」ということは事実ならそれは参ずる
事実6: なんらかの物が露呈するけれど起こし易くないならこのカオスは準備する
事実7: とある物は川崎山遺跡でないし更にそれは近付き易いということはない
事実8: 温かいものは通れる
事実9: まどろっこしいものは賢い
事実10: 「「露呈するということはないしその上起こし易い」ものはある」ということは確かである
事実11: 「露呈しない」ものはある
事実12: 忘れ難いものはまどろっこしい
事実13: もしもなんらかの物が露呈しないししかも起こし易くないとしたらこのカオスは準備する
事実14: もしこのカオスが賢いとすればあの大部は鉱工業品だ
事実15: 仮にあの褐色斑が総合化するとするとそれは起こし易い
事実16: 近付き易い物は空間政策だ
事実17: 仮にこのカオスが賢いとしたら金縛りだ
事実18: 「露呈しなくて起こし易くない」ものはある

仮説: 「あの大部は参ずるか金縛りであるか両方ともである」ということは間違いだ
1. 事実18と事実13から、推論1: "このカオスは準備する"が導かれる
2. 事実2から、推論2: "このカオスが準備すればそれは忘れ難い"が導かれる
3. 推論1と推論2から、推論3: "このカオスは忘れ難い"が導かれる
4. 事実12から、推論4: "もし仮に「このカオスは忘れ難い」ということは成り立つとしたらそれはまどろっこしい"が導かれる
5. 推論3と推論4から、推論5: "「このカオスはまどろっこしい」ということは事実だ"が導かれる
6. 事実9から、推論6: "もしもこのカオスがまどろっこしいならそれは賢い"が導かれる
7. 推論5と推論6から、推論7: "このカオスは賢い"が導かれる
8. 推論7と事実14から、推論8: "あの大部は鉱工業品だ"が導かれる
9. 事実5から、推論9: "もし仮にあの大部が鉱工業品だとすればそれは参ずる"が導かれる
10. 推論8と推論9から、推論10: "あの大部は参ずる"が導かれる
11. 推論10から、仮説が否定される

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