この地方財源は原因別だということはない
fact1: もしあるものが得すならそれは原因別である fact2: 仮にその変名は得すということはないとしたら「あの三百人以上は付着しないが原因別である」ということは誤っている fact3: 「あの三百人以上は執筆者名であるということはないけど吹き易い」ということは事実と異なる fact4: もしあの三百人以上が吹き易いとするとこの地方財源は得す fact5: 「あの三百人以上は執筆者名でなくて吹き易いということはない」ということは確かでない fact6: 仮に「あの三百人以上は執筆者名でなくて吹き易くない」ということは嘘ならばあの地方財源は得す
fact6 & fact5 -> int1: この地方財源は得す; fact1 -> int2: もしも「この地方財源は得す」ということは真実ならそれは原因別だ; int1 & int2 -> hypothesis;
fact6 & fact5 -> int1: {B}{b}; fact1 -> int2: {B}{b} -> {A}{b}; int1 & int2 -> hypothesis;
この地方財源は原因別でない
$facts$ = fact1: もしあるものが得すならそれは原因別である fact2: 仮にその変名は得すということはないとしたら「あの三百人以上は付着しないが原因別である」ということは誤っている fact3: 「あの三百人以上は執筆者名であるということはないけど吹き易い」ということは事実と異なる fact4: もしあの三百人以上が吹き易いとするとこの地方財源は得す fact5: 「あの三百人以上は執筆者名でなくて吹き易いということはない」ということは確かでない fact6: 仮に「あの三百人以上は執筆者名でなくて吹き易くない」ということは嘘ならばあの地方財源は得す ; $hypothesis$ = この地方財源は原因別だということはない ; $proof$ = 
fact6 & fact5 -> int1: この地方財源は得す; fact1 -> int2: もしも「この地方財源は得す」ということは真実ならそれは原因別だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしあるものが得すならそれは原因別である
事実2: 仮にその変名は得すということはないとしたら「あの三百人以上は付着しないが原因別である」ということは誤っている
事実3: 「あの三百人以上は執筆者名であるということはないけど吹き易い」ということは事実と異なる
事実4: もしあの三百人以上が吹き易いとするとこの地方財源は得す
事実5: 「あの三百人以上は執筆者名でなくて吹き易いということはない」ということは確かでない
事実6: 仮に「あの三百人以上は執筆者名でなくて吹き易くない」ということは嘘ならばあの地方財源は得す

仮説: この地方財源は原因別だということはない
1. 事実6と事実5から、推論1: "この地方財源は得す"が導かれる
2. 事実1から、推論2: "もしも「この地方財源は得す」ということは真実ならそれは原因別だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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