この総則はホールサイドであるか過程全般でない
fact1: あの大敵は変容しない fact2: もしこの総則は変容しないならば「それはホールサイドであるかあるいはそれは過程全般でない」ということは偽である fact3: この総則は変容しない
$facts$ = fact1: あの大敵は変容しない fact2: もしこの総則は変容しないならば「それはホールサイドであるかあるいはそれは過程全般でない」ということは偽である fact3: この総則は変容しない ; $hypothesis$ = この総則はホールサイドであるか過程全般でない ; $proof$ = 
事実1: あの大敵は変容しない
事実2: もしこの総則は変容しないならば「それはホールサイドであるかあるいはそれは過程全般でない」ということは偽である
事実3: この総則は変容しない

仮説: この総則はホールサイドであるか過程全般でない