この正則はマーシャルしないがしかし対抗要件主義だ
fact1: それはマーシャルしなくてかつ対抗要件主義であるという物はない
$facts$ = fact1: それはマーシャルしなくてかつ対抗要件主義であるという物はない ; $hypothesis$ = この正則はマーシャルしないがしかし対抗要件主義だ ; $proof$ = 
事実1: それはマーシャルしなくてかつ対抗要件主義であるという物はない

仮説: この正則はマーシャルしないがしかし対抗要件主義だ