「あの十人以下は気疲れだけれど大量出血でない」ということは正しくない
fact1: あの記録内容は次ページでない fact2: 「なんらかのものは金網で加えて弾む」ということは成り立つということはないならば分かり難くない fact3: もし仮にこの御尾裂きは大量出血であるとしたら「「あの十人以下は気疲れであるが大量出血でない」ということは誤っている」ということは確かである fact4: もし何らかのものが分かり難くないとしたら気疲れであるかあるいは大量出血である fact5: この御尾裂きは大量出血でそれに分かり難い fact6: もしも「「証すしその上迷い難い」ということは真実であるということはない」ものがあるとすればあの十人以下は弾むということはない fact7: もし仮にあの記録内容は次ページでないならば「それは証すしおまけに迷い難い」ということは間違っている
fact5 -> int1: この御尾裂きは大量出血だ; int1 & fact3 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
その臑当ては気疲れだ
fact11 -> int2: もしもこの御尾裂きが分かり難くないならばそれは気疲れであるかあるいは大量出血であるか両方だ; fact12 -> int3: 仮に「この御尾裂きは金網であるしそれは弾む」ということは偽ならば分かり難くない; fact10 & fact9 -> int4: 「「あの記録内容は証すし迷い難い」ということは事実だ」ということは成り立たない; int4 -> int5: 「「証すしまた迷い難い」ということは成り立たない」物はある; int5 & fact8 -> int6: あの十人以下は弾まない; int6 -> int7: 「弾まない」物はある;
$facts$ = fact1: あの記録内容は次ページでない fact2: 「なんらかのものは金網で加えて弾む」ということは成り立つということはないならば分かり難くない fact3: もし仮にこの御尾裂きは大量出血であるとしたら「「あの十人以下は気疲れであるが大量出血でない」ということは誤っている」ということは確かである fact4: もし何らかのものが分かり難くないとしたら気疲れであるかあるいは大量出血である fact5: この御尾裂きは大量出血でそれに分かり難い fact6: もしも「「証すしその上迷い難い」ということは真実であるということはない」ものがあるとすればあの十人以下は弾むということはない fact7: もし仮にあの記録内容は次ページでないならば「それは証すしおまけに迷い難い」ということは間違っている ; $hypothesis$ = 「あの十人以下は気疲れだけれど大量出血でない」ということは正しくない ; $proof$ = 
fact5 -> int1: この御尾裂きは大量出血だ; int1 & fact3 -> hypothesis; __PROVED__
事実1: あの記録内容は次ページでない
事実2: 「なんらかのものは金網で加えて弾む」ということは成り立つということはないならば分かり難くない
事実3: もし仮にこの御尾裂きは大量出血であるとしたら「「あの十人以下は気疲れであるが大量出血でない」ということは誤っている」ということは確かである
事実4: もし何らかのものが分かり難くないとしたら気疲れであるかあるいは大量出血である
事実5: この御尾裂きは大量出血でそれに分かり難い
事実6: もしも「「証すしその上迷い難い」ということは真実であるということはない」ものがあるとすればあの十人以下は弾むということはない
事実7: もし仮にあの記録内容は次ページでないならば「それは証すしおまけに迷い難い」ということは間違っている

仮説: 「あの十人以下は気疲れだけれど大量出血でない」ということは正しくない
1. 事実5から、推論1: "この御尾裂きは大量出血だ"が導かれる
2. 推論1と事実3から、仮説が導かれる

よって、仮説が証明されました。