「「しんどかないがしかし外れ掛ける」ということは間違いである」ものはある
fact1: 仮にあの金銅はプロベネシドでないなら「しんどかないが外れ掛ける」ということは間違っている fact2: 何らかのものは渡り始めないけれど乗り移る fact3: あの金銅はプロベネシドであるということはない fact4: もし仮にあの金銅はプロベネシドだとすれば「この食器は小気味良いということはないがそれはしんどい」ということは間違っている fact5: 「あの金銅は講ずということはない一方でプロベネシドである」ということは成り立たない
fact1 & fact3 -> int1: 「あの金銅はしんどかないけれど外れ掛ける」ということは成り立たない; int1 -> hypothesis;
fact1 & fact3 -> int1: ¬(¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
「この食器は小気味良くないがしんどい」ということは間違いである
$facts$ = fact1: 仮にあの金銅はプロベネシドでないなら「しんどかないが外れ掛ける」ということは間違っている fact2: 何らかのものは渡り始めないけれど乗り移る fact3: あの金銅はプロベネシドであるということはない fact4: もし仮にあの金銅はプロベネシドだとすれば「この食器は小気味良いということはないがそれはしんどい」ということは間違っている fact5: 「あの金銅は講ずということはない一方でプロベネシドである」ということは成り立たない ; $hypothesis$ = 「「しんどかないがしかし外れ掛ける」ということは間違いである」ものはある ; $proof$ = 
fact1 & fact3 -> int1: 「あの金銅はしんどかないけれど外れ掛ける」ということは成り立たない; int1 -> hypothesis; __PROVED__
事実1: 仮にあの金銅はプロベネシドでないなら「しんどかないが外れ掛ける」ということは間違っている
事実2: 何らかのものは渡り始めないけれど乗り移る
事実3: あの金銅はプロベネシドであるということはない
事実4: もし仮にあの金銅はプロベネシドだとすれば「この食器は小気味良いということはないがそれはしんどい」ということは間違っている
事実5: 「あの金銅は講ずということはない一方でプロベネシドである」ということは成り立たない

仮説: 「「しんどかないがしかし外れ掛ける」ということは間違いである」ものはある
1. 事実1と事実3から、推論1: "「あの金銅はしんどかないけれど外れ掛ける」ということは成り立たない"が導かれる
2. 推論1から、仮説が導かれる

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