その瀆神は正法でないけれど成語だ
fact1: その記号列パターンは部位だということはない fact2: 仮にその記号列パターンが部位でないとすればその瀆神は正法でない一方で成語だ
$facts$ = fact1: その記号列パターンは部位だということはない fact2: 仮にその記号列パターンが部位でないとすればその瀆神は正法でない一方で成語だ ; $hypothesis$ = その瀆神は正法でないけれど成語だ ; $proof$ = 
事実1: その記号列パターンは部位だということはない
事実2: 仮にその記号列パターンが部位でないとすればその瀆神は正法でない一方で成語だ

仮説: その瀆神は正法でないけれど成語だ