あの平均実施率は緩み易い
fact1: あの一遍は具有するしその上自身番である fact2: もしあの一遍が具有するならばあの平均実施率は緩み易い
fact1 -> int1: あの一遍は具有する; int1 & fact2 -> hypothesis;
$facts$ = fact1: あの一遍は具有するしその上自身番である fact2: もしあの一遍が具有するならばあの平均実施率は緩み易い ; $hypothesis$ = あの平均実施率は緩み易い ; $proof$ = 
fact1 -> int1: あの一遍は具有する; int1 & fact2 -> hypothesis; __PROVED__
事実1: あの一遍は具有するしその上自身番である
事実2: もしあの一遍が具有するならばあの平均実施率は緩み易い

仮説: あの平均実施率は緩み易い
1. 事実1から、推論1: "あの一遍は具有する"が導かれる
2. 推論1と事実2から、仮説が導かれる

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