あの銀は貸し付け金元利収入である
fact1: この社団法人が喜ばしいかもしくはそれはひりひりするかあるいは両方であるとすると「あの銀は貸し付け金元利収入でない」ということは事実である fact2: 仮にこの社団法人がひりひりするとすればあの銀は貸し付け金元利収入でない fact3: 仮にあの用法用量が渡来するならこの社団法人は喜ばしい fact4: その満足度向上は渡来しない fact5: この社団法人は特急であるということはない fact6: あの用法用量は渡来する fact7: その肝障害は渡来する fact8: もしこの社団法人が開削工事ならばあの用法用量は開削工事だ
fact3 & fact6 -> int1: この社団法人は喜ばしい; int1 -> int2: この社団法人は喜ばしいかひりひりするかどちらもである; int2 & fact1 -> hypothesis;
あの用法用量は渡来するかもしくは開削工事であるか両方である
$facts$ = fact1: この社団法人が喜ばしいかもしくはそれはひりひりするかあるいは両方であるとすると「あの銀は貸し付け金元利収入でない」ということは事実である fact2: 仮にこの社団法人がひりひりするとすればあの銀は貸し付け金元利収入でない fact3: 仮にあの用法用量が渡来するならこの社団法人は喜ばしい fact4: その満足度向上は渡来しない fact5: この社団法人は特急であるということはない fact6: あの用法用量は渡来する fact7: その肝障害は渡来する fact8: もしこの社団法人が開削工事ならばあの用法用量は開削工事だ ; $hypothesis$ = あの銀は貸し付け金元利収入である ; $proof$ = 
fact3 & fact6 -> int1: この社団法人は喜ばしい; int1 -> int2: この社団法人は喜ばしいかひりひりするかどちらもである; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: この社団法人が喜ばしいかもしくはそれはひりひりするかあるいは両方であるとすると「あの銀は貸し付け金元利収入でない」ということは事実である
事実2: 仮にこの社団法人がひりひりするとすればあの銀は貸し付け金元利収入でない
事実3: 仮にあの用法用量が渡来するならこの社団法人は喜ばしい
事実4: その満足度向上は渡来しない
事実5: この社団法人は特急であるということはない
事実6: あの用法用量は渡来する
事実7: その肝障害は渡来する
事実8: もしこの社団法人が開削工事ならばあの用法用量は開削工事だ

仮説: あの銀は貸し付け金元利収入である
1. 事実3と事実6から、推論1: "この社団法人は喜ばしい"が導かれる
2. 推論1から、推論2: "この社団法人は喜ばしいかひりひりするかどちらもである"が導かれる
3. 推論2と事実1から、仮説が否定される

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