あの長期固定金利は馬君武でない
fact1: あの長期固定金利は誘惑する fact2: あのステイ先は馬君武だ fact3: 仮に「なんらかのものは御固いということはない一方で上坂する」ということは偽だとすれば「上坂しない」ということは間違っていない fact4: あの長期固定金利は手際良い fact5: もし仮にあの長期固定金利が誘惑するとすると馬君武だ fact6: この百キロ以上は誘惑する
fact5 & fact1 -> hypothesis;
fact5 & fact1 -> hypothesis;
この大日本国は馬君武である
fact7 -> int1: もし「あの長期固定金利は御固くないが上坂する」ということは偽だとしたらそれは上坂しない;
$facts$ = fact1: あの長期固定金利は誘惑する fact2: あのステイ先は馬君武だ fact3: 仮に「なんらかのものは御固いということはない一方で上坂する」ということは偽だとすれば「上坂しない」ということは間違っていない fact4: あの長期固定金利は手際良い fact5: もし仮にあの長期固定金利が誘惑するとすると馬君武だ fact6: この百キロ以上は誘惑する ; $hypothesis$ = あの長期固定金利は馬君武でない ; $proof$ = 
fact5 & fact1 -> hypothesis; __DISPROVED__
事実1: あの長期固定金利は誘惑する
事実2: あのステイ先は馬君武だ
事実3: 仮に「なんらかのものは御固いということはない一方で上坂する」ということは偽だとすれば「上坂しない」ということは間違っていない
事実4: あの長期固定金利は手際良い
事実5: もし仮にあの長期固定金利が誘惑するとすると馬君武だ
事実6: この百キロ以上は誘惑する

仮説: あの長期固定金利は馬君武でない
1. 事実5と事実1から、仮説が否定される

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