「この臍は説法する」ということは成り立つ
fact1: あの赤キャベツは金印であるということはないしさらに尤もらしくない fact2: あの赤キャベツが金印でなくてそれが尤もらしくないならこの臍は説法するということはない
$facts$ = fact1: あの赤キャベツは金印であるということはないしさらに尤もらしくない fact2: あの赤キャベツが金印でなくてそれが尤もらしくないならこの臍は説法するということはない ; $hypothesis$ = 「この臍は説法する」ということは成り立つ ; $proof$ = 
事実1: あの赤キャベツは金印であるということはないしさらに尤もらしくない
事実2: あの赤キャベツが金印でなくてそれが尤もらしくないならこの臍は説法するということはない

仮説: 「この臍は説法する」ということは成り立つ