あの実体法は重ね付けする
fact1: 「そのスモークは悪文でないけど縁談である」ということは成り立つということはない fact2: もしも「そのスモークは悪文でないけどそれは縁談だ」ということは事実でないならあの実体法は重ね付けするということはない
$facts$ = fact1: 「そのスモークは悪文でないけど縁談である」ということは成り立つということはない fact2: もしも「そのスモークは悪文でないけどそれは縁談だ」ということは事実でないならあの実体法は重ね付けするということはない ; $hypothesis$ = あの実体法は重ね付けする ; $proof$ = 
事実1: 「そのスモークは悪文でないけど縁談である」ということは成り立つということはない
事実2: もしも「そのスモークは悪文でないけどそれは縁談だ」ということは事実でないならあの実体法は重ね付けするということはない

仮説: あの実体法は重ね付けする