「あの他流は絡脈であるけれど生じ易くない」ということは成り立つということはない
fact1: あるものが探り合うとしたらそれは透かなくてそれにそれは縮こまらない fact2: あるものが縮こまらないならめでたいということはないし更に生じ易くない fact3: 「もし仮にあの他流はめでたくないなら「あの他流は絡脈だけれど生じ易くない」ということは真実である」ということは成り立つ fact4: もしあの他流が妬ましくないならその司祭館は探り合うしきな臭い fact5: 「あの他流はめでたくない」ということは確かだ fact6: めでたいものは生じ易い fact7: 仮になにがしかの物が縮こまるとしたらめでたい fact8: 「その由は探り合わない」ということは偽でないとすれば「それは透くしおまけに縮こまる」ということは正しい
fact3 & fact5 -> hypothesis;
fact3 & fact5 -> hypothesis;
その司祭館は生じ易くない
fact10 -> int1: その司祭館が縮こまらないとすればめでたくないしさらに生じ易くない; fact9 -> int2: 仮にその司祭館が探り合うとすると透かなくて縮こまらない;
$facts$ = fact1: あるものが探り合うとしたらそれは透かなくてそれにそれは縮こまらない fact2: あるものが縮こまらないならめでたいということはないし更に生じ易くない fact3: 「もし仮にあの他流はめでたくないなら「あの他流は絡脈だけれど生じ易くない」ということは真実である」ということは成り立つ fact4: もしあの他流が妬ましくないならその司祭館は探り合うしきな臭い fact5: 「あの他流はめでたくない」ということは確かだ fact6: めでたいものは生じ易い fact7: 仮になにがしかの物が縮こまるとしたらめでたい fact8: 「その由は探り合わない」ということは偽でないとすれば「それは透くしおまけに縮こまる」ということは正しい ; $hypothesis$ = 「あの他流は絡脈であるけれど生じ易くない」ということは成り立つということはない ; $proof$ = 
fact3 & fact5 -> hypothesis; __DISPROVED__
事実1: あるものが探り合うとしたらそれは透かなくてそれにそれは縮こまらない
事実2: あるものが縮こまらないならめでたいということはないし更に生じ易くない
事実3: 「もし仮にあの他流はめでたくないなら「あの他流は絡脈だけれど生じ易くない」ということは真実である」ということは成り立つ
事実4: もしあの他流が妬ましくないならその司祭館は探り合うしきな臭い
事実5: 「あの他流はめでたくない」ということは確かだ
事実6: めでたいものは生じ易い
事実7: 仮になにがしかの物が縮こまるとしたらめでたい
事実8: 「その由は探り合わない」ということは偽でないとすれば「それは透くしおまけに縮こまる」ということは正しい

仮説: 「あの他流は絡脈であるけれど生じ易くない」ということは成り立つということはない
1. 事実3と事実5から、仮説が否定される

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