この濾胞は五十七．周囲だということはないが相関性だ
fact1: その今渡ルールはあざとくない fact2: この濾胞は五十七．周囲でないけれど相関性である fact3: もし仮に何らかのものは競わないとしたら「五十七．周囲でないが相関性である」ということは間違いだ
fact2 -> hypothesis;
「この濾胞は五十七．周囲でないがそれは相関性である」ということは事実であるということはない
fact4 -> int1: 仮にこの濾胞は競わないなら「五十七．周囲だということはなくて相関性だ」ということは誤りだ;
$facts$ = fact1: その今渡ルールはあざとくない fact2: この濾胞は五十七．周囲でないけれど相関性である fact3: もし仮に何らかのものは競わないとしたら「五十七．周囲でないが相関性である」ということは間違いだ ; $hypothesis$ = この濾胞は五十七．周囲だということはないが相関性だ ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: その今渡ルールはあざとくない
事実2: この濾胞は五十七．周囲でないけれど相関性である
事実3: もし仮に何らかのものは競わないとしたら「五十七．周囲でないが相関性である」ということは間違いだ

仮説: この濾胞は五十七．周囲だということはないが相関性だ
1. 事実2から、仮説が導かれる

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