この手引きは片寄せる
fact1: 全てはギミックである fact2: もし仮に「何かは減らない一方で遅し」ということは誤っているとしたら吸い出さない fact3: もし仮に「あるものは吸い出さないが遅し」ということは事実でないならば片寄せない fact4: 醜い物は軽侮しないけど出会い易い fact5: 「この手引きは減る」ということは成り立たない fact6: もしもこの藩財政が軽侮しないが出会い易いとしたらあの千九百九十九Ｃは出会い易くない fact7: 仮にあるものがギミックであるしかつそれは漏れ易いとすれば「この藩財政は醜い」ということは確かだ fact8: もし仮にこの手引きは減らないとすれば「「それは吸い出さないし遅し」ということは真実だ」ということは成り立たない fact9: 全てのものは漏れ易い
fact3 -> int1: もしも「この手引きは吸い出さないけれどそれは遅し」ということは誤っているなら「それは片寄せない」ということは本当だ; fact8 & fact5 -> int2: 「この手引きは吸い出さないけど遅し」ということは成り立つということはない; int1 & int2 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact8 & fact5 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> hypothesis;
この手引きは片寄せる
fact10 -> int3: もしも「この藩財政は醜い」ということは嘘であるということはないならばそれは軽侮しないしかつ出会い易い; fact12 -> int4: あのヘーゼルナッツはギミックだ; fact14 -> int5: あのヘーゼルナッツは漏れ易い; int4 & int5 -> int6: あのヘーゼルナッツはギミックであるし漏れ易い; int6 -> int7: 全てはギミックだし加えて漏れ易い; int7 -> int8: その八十年代初頭はギミックであるし漏れ易い; int8 -> int9: 「ギミックであるし加えて漏れ易い」ものはある; int9 & fact13 -> int10: この藩財政は醜い; int3 & int10 -> int11: この藩財政は軽侮しないが出会い易い; int11 & fact11 -> int12: 「あの千九百九十九Ｃは出会い易くない」ということは成り立つ;
$facts$ = fact1: 全てはギミックである fact2: もし仮に「何かは減らない一方で遅し」ということは誤っているとしたら吸い出さない fact3: もし仮に「あるものは吸い出さないが遅し」ということは事実でないならば片寄せない fact4: 醜い物は軽侮しないけど出会い易い fact5: 「この手引きは減る」ということは成り立たない fact6: もしもこの藩財政が軽侮しないが出会い易いとしたらあの千九百九十九Ｃは出会い易くない fact7: 仮にあるものがギミックであるしかつそれは漏れ易いとすれば「この藩財政は醜い」ということは確かだ fact8: もし仮にこの手引きは減らないとすれば「「それは吸い出さないし遅し」ということは真実だ」ということは成り立たない fact9: 全てのものは漏れ易い ; $hypothesis$ = この手引きは片寄せる ; $proof$ = 
fact3 -> int1: もしも「この手引きは吸い出さないけれどそれは遅し」ということは誤っているなら「それは片寄せない」ということは本当だ; fact8 & fact5 -> int2: 「この手引きは吸い出さないけど遅し」ということは成り立つということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 全てはギミックである
事実2: もし仮に「何かは減らない一方で遅し」ということは誤っているとしたら吸い出さない
事実3: もし仮に「あるものは吸い出さないが遅し」ということは事実でないならば片寄せない
事実4: 醜い物は軽侮しないけど出会い易い
事実5: 「この手引きは減る」ということは成り立たない
事実6: もしもこの藩財政が軽侮しないが出会い易いとしたらあの千九百九十九Ｃは出会い易くない
事実7: 仮にあるものがギミックであるしかつそれは漏れ易いとすれば「この藩財政は醜い」ということは確かだ
事実8: もし仮にこの手引きは減らないとすれば「「それは吸い出さないし遅し」ということは真実だ」ということは成り立たない
事実9: 全てのものは漏れ易い

仮説: この手引きは片寄せる
1. 事実3から、推論1: "もしも「この手引きは吸い出さないけれどそれは遅し」ということは誤っているなら「それは片寄せない」ということは本当だ"が導かれる
2. 事実8と事実5から、推論2: "「この手引きは吸い出さないけど遅し」ということは成り立つということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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