「「保留しなくてそれに譜な」物はある」ということは成り立たない
fact1: 仮にこの国有銀行は譜だとすると「その合い鴨は譜だ」ということは確かである fact2: その著は譜である fact3: この国有銀行は足回りだ fact4: 譜はある fact5: もし仮にこの国有銀行は保留するとしたら「その著は譜でないがしかし足回りだ」ということは確かである fact6: 何かはＢ子さんでないなら「隠し切れるし更にそれは足回りでない」ということは間違いである fact7: もしこの国有銀行が保留するとしたらその著は足回りであるということはないけれど譜である fact8: 何かは保留しないがしかしそれは足回りである fact9: もしこの国有銀行が足回りであるとすればその著は譜である fact10: 「保留するしおまけに譜である」物はある fact11: 「保留しない」物はある fact12: その著は鉄道建設改良事業である fact13: もし仮にこの国有銀行が足回りだとすればその著は保留しないけど譜だ
fact13 & fact3 -> int1: その著は保留するということはないけれどそれは譜である; int1 -> hypothesis;
fact13 & fact3 -> int1: (¬{AA}{b} & {AB}{b}); int1 -> hypothesis;
その合い鴨は譜である
fact15 -> int2: もし仮にこの国有銀行はＢ子さんでないなら「それは隠し切れるしそれに足回りでない」ということは誤っている;
$facts$ = fact1: 仮にこの国有銀行は譜だとすると「その合い鴨は譜だ」ということは確かである fact2: その著は譜である fact3: この国有銀行は足回りだ fact4: 譜はある fact5: もし仮にこの国有銀行は保留するとしたら「その著は譜でないがしかし足回りだ」ということは確かである fact6: 何かはＢ子さんでないなら「隠し切れるし更にそれは足回りでない」ということは間違いである fact7: もしこの国有銀行が保留するとしたらその著は足回りであるということはないけれど譜である fact8: 何かは保留しないがしかしそれは足回りである fact9: もしこの国有銀行が足回りであるとすればその著は譜である fact10: 「保留するしおまけに譜である」物はある fact11: 「保留しない」物はある fact12: その著は鉄道建設改良事業である fact13: もし仮にこの国有銀行が足回りだとすればその著は保留しないけど譜だ ; $hypothesis$ = 「「保留しなくてそれに譜な」物はある」ということは成り立たない ; $proof$ = 
fact13 & fact3 -> int1: その著は保留するということはないけれどそれは譜である; int1 -> hypothesis; __DISPROVED__
事実1: 仮にこの国有銀行は譜だとすると「その合い鴨は譜だ」ということは確かである
事実2: その著は譜である
事実3: この国有銀行は足回りだ
事実4: 譜はある
事実5: もし仮にこの国有銀行は保留するとしたら「その著は譜でないがしかし足回りだ」ということは確かである
事実6: 何かはＢ子さんでないなら「隠し切れるし更にそれは足回りでない」ということは間違いである
事実7: もしこの国有銀行が保留するとしたらその著は足回りであるということはないけれど譜である
事実8: 何かは保留しないがしかしそれは足回りである
事実9: もしこの国有銀行が足回りであるとすればその著は譜である
事実10: 「保留するしおまけに譜である」物はある
事実11: 「保留しない」物はある
事実12: その著は鉄道建設改良事業である
事実13: もし仮にこの国有銀行が足回りだとすればその著は保留しないけど譜だ

仮説: 「「保留しなくてそれに譜な」物はある」ということは成り立たない
1. 事実13と事実3から、推論1: "その著は保留するということはないけれどそれは譜である"が導かれる
2. 推論1から、仮説が否定される

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