仮にそのＥＣ法は貪食でないなら「それは追跡調査しない」ということは真実である
fact1: なんらかの物が貪食だということはないとすればそれは追跡調査しない
$facts$ = fact1: なんらかの物が貪食だということはないとすればそれは追跡調査しない ; $hypothesis$ = 仮にそのＥＣ法は貪食でないなら「それは追跡調査しない」ということは真実である ; $proof$ = 
事実1: なんらかの物が貪食だということはないとすればそれは追跡調査しない

仮説: 仮にそのＥＣ法は貪食でないなら「それは追跡調査しない」ということは真実である