その血は邦銀である
fact1: その第八章は薄れる fact2: 仮にその血が留まらない一方で薄れるならそれは邦銀でない fact3: その血はエロい fact4: もし「その血はエロい」ということは本当だとすると「出入りし易くないか脂っこいか両方ともだ」ということは成り立たない fact5: あの納税額はエロくない fact6: もし仮に「とある物は出入りし易くないかそれは脂っこいかまたはどちらもだ」ということは誤っているとしたらそれは留まるということはない fact7: その血は薄れる
fact6 -> int1: もしも「その血は出入りし易くないか脂っこいかもしくは両方ともだ」ということは成り立たないとすると留まらない; fact4 & fact3 -> int2: 「その血は出入りし易くないかまたは脂っこいかあるいは両方である」ということは事実でない; int1 & int2 -> int3: その血は留まらない; int3 & fact7 -> int4: その血は留まるということはないけれど薄れる; int4 & fact2 -> hypothesis;
$facts$ = fact1: その第八章は薄れる fact2: 仮にその血が留まらない一方で薄れるならそれは邦銀でない fact3: その血はエロい fact4: もし「その血はエロい」ということは本当だとすると「出入りし易くないか脂っこいか両方ともだ」ということは成り立たない fact5: あの納税額はエロくない fact6: もし仮に「とある物は出入りし易くないかそれは脂っこいかまたはどちらもだ」ということは誤っているとしたらそれは留まるということはない fact7: その血は薄れる ; $hypothesis$ = その血は邦銀である ; $proof$ = 
fact6 -> int1: もしも「その血は出入りし易くないか脂っこいかもしくは両方ともだ」ということは成り立たないとすると留まらない; fact4 & fact3 -> int2: 「その血は出入りし易くないかまたは脂っこいかあるいは両方である」ということは事実でない; int1 & int2 -> int3: その血は留まらない; int3 & fact7 -> int4: その血は留まるということはないけれど薄れる; int4 & fact2 -> hypothesis; __DISPROVED__
事実1: その第八章は薄れる
事実2: 仮にその血が留まらない一方で薄れるならそれは邦銀でない
事実3: その血はエロい
事実4: もし「その血はエロい」ということは本当だとすると「出入りし易くないか脂っこいか両方ともだ」ということは成り立たない
事実5: あの納税額はエロくない
事実6: もし仮に「とある物は出入りし易くないかそれは脂っこいかまたはどちらもだ」ということは誤っているとしたらそれは留まるということはない
事実7: その血は薄れる

仮説: その血は邦銀である
1. 事実6から、推論1: "もしも「その血は出入りし易くないか脂っこいかもしくは両方ともだ」ということは成り立たないとすると留まらない"が導かれる
2. 事実4と事実3から、推論2: "「その血は出入りし易くないかまたは脂っこいかあるいは両方である」ということは事実でない"が導かれる
3. 推論1と推論2から、推論3: "その血は留まらない"が導かれる
4. 推論3と事実7から、推論4: "その血は留まるということはないけれど薄れる"が導かれる
5. 推論4と事実2から、仮説が否定される

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