その給付率は見付け易くない
fact1: あの弁尖は見付け易い fact2: もしもその給付率がめぼしいならそれは減衰しないが見付け易い fact3: その給付率はめぼしい
fact2 & fact3 -> int1: その給付率は減衰するということはない一方で見付け易い; int1 -> hypothesis;
fact2 & fact3 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
$facts$ = fact1: あの弁尖は見付け易い fact2: もしもその給付率がめぼしいならそれは減衰しないが見付け易い fact3: その給付率はめぼしい ; $hypothesis$ = その給付率は見付け易くない ; $proof$ = 
fact2 & fact3 -> int1: その給付率は減衰するということはない一方で見付け易い; int1 -> hypothesis; __DISPROVED__
事実1: あの弁尖は見付け易い
事実2: もしもその給付率がめぼしいならそれは減衰しないが見付け易い
事実3: その給付率はめぼしい

仮説: その給付率は見付け易くない
1. 事実2と事実3から、推論1: "その給付率は減衰するということはない一方で見付け易い"が導かれる
2. 推論1から、仮説が否定される

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