あの自刃は娶れるということはない
fact1: もしこのＤＩＯＮが欲情しないとすればその九原則はいみじないしそれは罰さない fact2: もし仮にその九原則が第十項であるとしたらあの自刃は娶れる fact3: もし仮にその九原則が娶れるし加えて第十項だとしたらあの仕分け帳は第十項でない fact4: もしもなんらかの物は第十項でないなら「それは近付き易いかもしくは御猪口であるかまたは両方ともだ」ということは事実である fact5: 「仮にその九原則が第十項であるとしたらあの自刃は娶れるということはなくてまたそれは近付き易くない」ということは真実である fact6: もし何らかのものが罰さないならそれは娶れるし第十項である fact7: もし仮にその九原則が近付き易いとすればあの自刃は娶れる fact8: その九原則は近付き易いかまたは第十項だ fact9: 仮に「あの自刃は御言葉である」ということは成り立つとすると「このＤＩＯＮは断定し難いがしかし失念しない」ということは事実と異なる fact10: 仮に「あるものは断定し難い一方で失念しない」ということは誤っているなら「欲情するということはない」ということは正しい
fact8 & fact7 & fact2 -> hypothesis;
あの仕分け帳は近付き易いかそれは御猪口だ
fact13 -> int1: もし仮にあの仕分け帳が第十項でないならば近付き易いかそれは御猪口である; fact11 -> int2: もしもその九原則が罰さないとすれば娶れるしさらに第十項である; fact12 -> int3: もしも「このＤＩＯＮは断定し難いがしかしそれは失念しない」ということは成り立つということはないとすれば「欲情するということはない」ということは誤りであるということはない;
$facts$ = fact1: もしこのＤＩＯＮが欲情しないとすればその九原則はいみじないしそれは罰さない fact2: もし仮にその九原則が第十項であるとしたらあの自刃は娶れる fact3: もし仮にその九原則が娶れるし加えて第十項だとしたらあの仕分け帳は第十項でない fact4: もしもなんらかの物は第十項でないなら「それは近付き易いかもしくは御猪口であるかまたは両方ともだ」ということは事実である fact5: 「仮にその九原則が第十項であるとしたらあの自刃は娶れるということはなくてまたそれは近付き易くない」ということは真実である fact6: もし何らかのものが罰さないならそれは娶れるし第十項である fact7: もし仮にその九原則が近付き易いとすればあの自刃は娶れる fact8: その九原則は近付き易いかまたは第十項だ fact9: 仮に「あの自刃は御言葉である」ということは成り立つとすると「このＤＩＯＮは断定し難いがしかし失念しない」ということは事実と異なる fact10: 仮に「あるものは断定し難い一方で失念しない」ということは誤っているなら「欲情するということはない」ということは正しい ; $hypothesis$ = あの自刃は娶れるということはない ; $proof$ = 
fact8 & fact7 & fact2 -> hypothesis; __DISPROVED__
事実1: もしこのＤＩＯＮが欲情しないとすればその九原則はいみじないしそれは罰さない
事実2: もし仮にその九原則が第十項であるとしたらあの自刃は娶れる
事実3: もし仮にその九原則が娶れるし加えて第十項だとしたらあの仕分け帳は第十項でない
事実4: もしもなんらかの物は第十項でないなら「それは近付き易いかもしくは御猪口であるかまたは両方ともだ」ということは事実である
事実5: 「仮にその九原則が第十項であるとしたらあの自刃は娶れるということはなくてまたそれは近付き易くない」ということは真実である
事実6: もし何らかのものが罰さないならそれは娶れるし第十項である
事実7: もし仮にその九原則が近付き易いとすればあの自刃は娶れる
事実8: その九原則は近付き易いかまたは第十項だ
事実9: 仮に「あの自刃は御言葉である」ということは成り立つとすると「このＤＩＯＮは断定し難いがしかし失念しない」ということは事実と異なる
事実10: 仮に「あるものは断定し難い一方で失念しない」ということは誤っているなら「欲情するということはない」ということは正しい

仮説: あの自刃は娶れるということはない
1. 事実8と事実7と事実2から、仮説が否定される

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