このＳＥＣ規則は定位しない
fact1: もしもこの渓流が馴染み易いとするとこのＳＥＣ規則は定位しない fact2: この渓流はふん縛るなら「このＳＥＣ規則は定位しない」ということは確かである fact3: この渓流は馴染み易いかまたはそれはふん縛る
$facts$ = fact1: もしもこの渓流が馴染み易いとするとこのＳＥＣ規則は定位しない fact2: この渓流はふん縛るなら「このＳＥＣ規則は定位しない」ということは確かである fact3: この渓流は馴染み易いかまたはそれはふん縛る ; $hypothesis$ = このＳＥＣ規則は定位しない ; $proof$ = 
事実1: もしもこの渓流が馴染み易いとするとこのＳＥＣ規則は定位しない
事実2: この渓流はふん縛るなら「このＳＥＣ規則は定位しない」ということは確かである
事実3: この渓流は馴染み易いかまたはそれはふん縛る

仮説: このＳＥＣ規則は定位しない