あの借銭破棄は木目細かい
fact1: もしある物が踊り続けないかまたは止み難いかまたは両方であるなら木目細かい fact2: もしあの最高機関が踊り続けるとすればあの借銭破棄は受け入れ易くないかもしくは木目細かいかまたはどちらもである fact3: もしも「なにがしかの物は木目細かいし求償する」ということは嘘だとしたら「木目細かくない」ということは正しい fact4: 仮にあの最高機関が受け入れ易いとしたらあの借銭破棄は踊り続けないかあるいは止み難い fact5: あの最高機関は受け入れ易い
fact4 & fact5 -> int1: あの借銭破棄は踊り続けるということはないか止み難いかまたは両方ともである; fact1 -> int2: 仮にあの借銭破棄が踊り続けないかあるいは止み難いか両方なら木目細かい; int1 & int2 -> hypothesis;
fact4 & fact5 -> int1: (¬{AA}{b} v {AB}{b}); fact1 -> int2: (¬{AA}{b} v {AB}{b}) -> {B}{b}; int1 & int2 -> hypothesis;
あの借銭破棄は木目細かくない
fact6 -> int3: 「あの借銭破棄は木目細かくて求償する」ということは偽だとすると「木目細かくない」ということは確かである;
$facts$ = fact1: もしある物が踊り続けないかまたは止み難いかまたは両方であるなら木目細かい fact2: もしあの最高機関が踊り続けるとすればあの借銭破棄は受け入れ易くないかもしくは木目細かいかまたはどちらもである fact3: もしも「なにがしかの物は木目細かいし求償する」ということは嘘だとしたら「木目細かくない」ということは正しい fact4: 仮にあの最高機関が受け入れ易いとしたらあの借銭破棄は踊り続けないかあるいは止み難い fact5: あの最高機関は受け入れ易い ; $hypothesis$ = あの借銭破棄は木目細かい ; $proof$ = 
fact4 & fact5 -> int1: あの借銭破棄は踊り続けるということはないか止み難いかまたは両方ともである; fact1 -> int2: 仮にあの借銭破棄が踊り続けないかあるいは止み難いか両方なら木目細かい; int1 & int2 -> hypothesis; __PROVED__
事実1: もしある物が踊り続けないかまたは止み難いかまたは両方であるなら木目細かい
事実2: もしあの最高機関が踊り続けるとすればあの借銭破棄は受け入れ易くないかもしくは木目細かいかまたはどちらもである
事実3: もしも「なにがしかの物は木目細かいし求償する」ということは嘘だとしたら「木目細かくない」ということは正しい
事実4: 仮にあの最高機関が受け入れ易いとしたらあの借銭破棄は踊り続けないかあるいは止み難い
事実5: あの最高機関は受け入れ易い

仮説: あの借銭破棄は木目細かい
1. 事実4と事実5から、推論1: "あの借銭破棄は踊り続けるということはないか止み難いかまたは両方ともである"が導かれる
2. 事実1から、推論2: "仮にあの借銭破棄が踊り続けないかあるいは止み難いか両方なら木目細かい"が導かれる
3. 推論1と推論2から、仮説が導かれる

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