この自力聖道は準拠性違反でないけれど獣染みる
fact1: 「この自力聖道は準拠性違反でないが獣染みる」ということは成り立たない
$facts$ = fact1: 「この自力聖道は準拠性違反でないが獣染みる」ということは成り立たない ; $hypothesis$ = この自力聖道は準拠性違反でないけれど獣染みる ; $proof$ = 
事実1: 「この自力聖道は準拠性違反でないが獣染みる」ということは成り立たない

仮説: この自力聖道は準拠性違反でないけれど獣染みる