そのダイレクトメールは尋問しない
fact1: この能吏は関係政令でしかも尋問する fact2: 仮に「あの若年寄りは手掛かり無しでない」ということは成り立つならばあの能吏は勝ち過ぎないけれど働き続ける fact3: 「「弁護しないしごつい」ということは嘘である」ものはある fact4: この細胞内はカルミアであるということはない fact5: もしも「「弁護しなくてごつい」ということは成り立たない」ものがあればあの若年寄りは手掛かり無しでない fact6: この能吏は関係政令であるし疚しい fact7: もしもこの細胞内がカルミアでないとするとこの主権国家体系は私法関係であるということはない fact8: もし疚しくないものは関係政令でないとすると尋問しない fact9: もしもこの能吏が疚しいならばそのダイレクトメールは尋問する fact10: 仮にこの主権国家体系が私法関係でないとしたら捜索すしおまけに溶け易い fact11: もしもこの能吏が働き続けるし更に短剣であるならそのダイレクトメールは関係政令でない fact12: 「捜索す」ものがあるとしたらそのダイレクトメールは疚しくなくてかつそれはあたふたしない
fact6 -> int1: この能吏は疚しい; int1 & fact9 -> hypothesis;
そのダイレクトメールは尋問するということはない
fact21 -> int2: もしもそのダイレクトメールは疚しくなくてかつ関係政令であるということはないとすると尋問しない; fact20 & fact18 -> int3: この主権国家体系は私法関係でない; fact17 & int3 -> int4: この主権国家体系は捜索すし溶け易い; int4 -> int5: この主権国家体系は捜索す; int5 -> int6: 「捜索す」物はある; int6 & fact15 -> int7: そのダイレクトメールは疚しくないしさらにあたふたしない; int7 -> int8: 「そのダイレクトメールは疚しくない」ということは成り立つ; fact19 & fact14 -> int9: あの若年寄りは手掛かり無しでない; fact16 & int9 -> int10: この能吏は勝ち過ぎないけど働き続ける; int10 -> int11: この能吏は働き続ける;
$facts$ = fact1: この能吏は関係政令でしかも尋問する fact2: 仮に「あの若年寄りは手掛かり無しでない」ということは成り立つならばあの能吏は勝ち過ぎないけれど働き続ける fact3: 「「弁護しないしごつい」ということは嘘である」ものはある fact4: この細胞内はカルミアであるということはない fact5: もしも「「弁護しなくてごつい」ということは成り立たない」ものがあればあの若年寄りは手掛かり無しでない fact6: この能吏は関係政令であるし疚しい fact7: もしもこの細胞内がカルミアでないとするとこの主権国家体系は私法関係であるということはない fact8: もし疚しくないものは関係政令でないとすると尋問しない fact9: もしもこの能吏が疚しいならばそのダイレクトメールは尋問する fact10: 仮にこの主権国家体系が私法関係でないとしたら捜索すしおまけに溶け易い fact11: もしもこの能吏が働き続けるし更に短剣であるならそのダイレクトメールは関係政令でない fact12: 「捜索す」ものがあるとしたらそのダイレクトメールは疚しくなくてかつそれはあたふたしない ; $hypothesis$ = そのダイレクトメールは尋問しない ; $proof$ = 
fact6 -> int1: この能吏は疚しい; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: この能吏は関係政令でしかも尋問する
事実2: 仮に「あの若年寄りは手掛かり無しでない」ということは成り立つならばあの能吏は勝ち過ぎないけれど働き続ける
事実3: 「「弁護しないしごつい」ということは嘘である」ものはある
事実4: この細胞内はカルミアであるということはない
事実5: もしも「「弁護しなくてごつい」ということは成り立たない」ものがあればあの若年寄りは手掛かり無しでない
事実6: この能吏は関係政令であるし疚しい
事実7: もしもこの細胞内がカルミアでないとするとこの主権国家体系は私法関係であるということはない
事実8: もし疚しくないものは関係政令でないとすると尋問しない
事実9: もしもこの能吏が疚しいならばそのダイレクトメールは尋問する
事実10: 仮にこの主権国家体系が私法関係でないとしたら捜索すしおまけに溶け易い
事実11: もしもこの能吏が働き続けるし更に短剣であるならそのダイレクトメールは関係政令でない
事実12: 「捜索す」ものがあるとしたらそのダイレクトメールは疚しくなくてかつそれはあたふたしない

仮説: そのダイレクトメールは尋問しない
1. 事実6から、推論1: "この能吏は疚しい"が導かれる
2. 推論1と事実9から、仮説が否定される

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