この被災は絹本着色でない
fact1: なにかは勝ち易くないしそれに誕生時でないならこの被災は雨飛沫である fact2: もしその五列が判官筆だということはないとしたらこの被災は誕生時でない fact3: もし仮に「なにかは勝ち易いかもしくはそれは雨飛沫であるか両方だ」ということは誤っているならそれは絹本着色だということはない fact4: もし仮に何らかの物は誕生時だということはないなら「勝ち易いかあるいは雨飛沫だ」ということは間違っている fact5: もしもなにかは雨飛沫だとすれば「絹本着色だがしかし譲らない」ということは本当だ fact6: 何らかの物は勝ち易くないしそれは誕生時でない
fact5 -> int1: もしもこの被災は雨飛沫だとすると「それは絹本着色であるけど譲るということはない」ということは正しい; fact6 & fact1 -> int2: この被災は雨飛沫だ; int1 & int2 -> int3: この被災は絹本着色だけれどそれは譲らない; int3 -> hypothesis;
この被災は絹本着色でない
fact7 -> int4: もしも「この被災は勝ち易いか雨飛沫であるかどちらもである」ということは成り立たないならそれは絹本着色でない; fact9 -> int5: この被災は誕生時でないとすると「勝ち易いかあるいは雨飛沫であるかまたは両方ともである」ということは成り立たない;
$facts$ = fact1: なにかは勝ち易くないしそれに誕生時でないならこの被災は雨飛沫である fact2: もしその五列が判官筆だということはないとしたらこの被災は誕生時でない fact3: もし仮に「なにかは勝ち易いかもしくはそれは雨飛沫であるか両方だ」ということは誤っているならそれは絹本着色だということはない fact4: もし仮に何らかの物は誕生時だということはないなら「勝ち易いかあるいは雨飛沫だ」ということは間違っている fact5: もしもなにかは雨飛沫だとすれば「絹本着色だがしかし譲らない」ということは本当だ fact6: 何らかの物は勝ち易くないしそれは誕生時でない ; $hypothesis$ = この被災は絹本着色でない ; $proof$ = 
fact5 -> int1: もしもこの被災は雨飛沫だとすると「それは絹本着色であるけど譲るということはない」ということは正しい; fact6 & fact1 -> int2: この被災は雨飛沫だ; int1 & int2 -> int3: この被災は絹本着色だけれどそれは譲らない; int3 -> hypothesis; __DISPROVED__
事実1: なにかは勝ち易くないしそれに誕生時でないならこの被災は雨飛沫である
事実2: もしその五列が判官筆だということはないとしたらこの被災は誕生時でない
事実3: もし仮に「なにかは勝ち易いかもしくはそれは雨飛沫であるか両方だ」ということは誤っているならそれは絹本着色だということはない
事実4: もし仮に何らかの物は誕生時だということはないなら「勝ち易いかあるいは雨飛沫だ」ということは間違っている
事実5: もしもなにかは雨飛沫だとすれば「絹本着色だがしかし譲らない」ということは本当だ
事実6: 何らかの物は勝ち易くないしそれは誕生時でない

仮説: この被災は絹本着色でない
1. 事実5から、推論1: "もしもこの被災は雨飛沫だとすると「それは絹本着色であるけど譲るということはない」ということは正しい"が導かれる
2. 事実6と事実1から、推論2: "この被災は雨飛沫だ"が導かれる
3. 推論1と推論2から、推論3: "この被災は絹本着色だけれどそれは譲らない"が導かれる
4. 推論3から、仮説が否定される

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