この融資金利は失せる
fact1: 仮に「なにかは世代交代するがどやさない」ということは間違っているとすると失せらない fact2: 仮にその御忘れ物が失せるとするとこの融資金利は失せる fact3: 「この融資金利はたどたどしい」ということは本当である fact4: この融資金利はアメリカっぽくないけれどそれはたどたどしい fact5: もしなんらかの物はアメリカっぽくないとしたら「世代交代するがどやさない」ということは嘘である
fact5 -> int1: もしこの融資金利はアメリカっぽくないとすれば「それは世代交代するけれどどやさない」ということは嘘だ; fact4 -> int2: この融資金利はアメリカっぽくない; int1 & int2 -> int3: 「この融資金利は世代交代するがそれはどやさない」ということは確かでない; fact1 -> int4: もし「「この融資金利は世代交代する一方でどやさない」ということは事実である」ということは成り立たないならそれは失せるということはない; int3 & int4 -> hypothesis;
この融資金利は失せる
$facts$ = fact1: 仮に「なにかは世代交代するがどやさない」ということは間違っているとすると失せらない fact2: 仮にその御忘れ物が失せるとするとこの融資金利は失せる fact3: 「この融資金利はたどたどしい」ということは本当である fact4: この融資金利はアメリカっぽくないけれどそれはたどたどしい fact5: もしなんらかの物はアメリカっぽくないとしたら「世代交代するがどやさない」ということは嘘である ; $hypothesis$ = この融資金利は失せる ; $proof$ = 
fact5 -> int1: もしこの融資金利はアメリカっぽくないとすれば「それは世代交代するけれどどやさない」ということは嘘だ; fact4 -> int2: この融資金利はアメリカっぽくない; int1 & int2 -> int3: 「この融資金利は世代交代するがそれはどやさない」ということは確かでない; fact1 -> int4: もし「「この融資金利は世代交代する一方でどやさない」ということは事実である」ということは成り立たないならそれは失せるということはない; int3 & int4 -> hypothesis; __DISPROVED__
事実1: 仮に「なにかは世代交代するがどやさない」ということは間違っているとすると失せらない
事実2: 仮にその御忘れ物が失せるとするとこの融資金利は失せる
事実3: 「この融資金利はたどたどしい」ということは本当である
事実4: この融資金利はアメリカっぽくないけれどそれはたどたどしい
事実5: もしなんらかの物はアメリカっぽくないとしたら「世代交代するがどやさない」ということは嘘である

仮説: この融資金利は失せる
1. 事実5から、推論1: "もしこの融資金利はアメリカっぽくないとすれば「それは世代交代するけれどどやさない」ということは嘘だ"が導かれる
2. 事実4から、推論2: "この融資金利はアメリカっぽくない"が導かれる
3. 推論1と推論2から、推論3: "「この融資金利は世代交代するがそれはどやさない」ということは確かでない"が導かれる
4. 事実1から、推論4: "もし「「この融資金利は世代交代する一方でどやさない」ということは事実である」ということは成り立たないならそれは失せるということはない"が導かれる
5. 推論3と推論4から、仮説が否定される

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