「この這いは四教科であるということはない」ということは成り立つ
fact1: この這いは四教科でそれは掲載する
$facts$ = fact1: この這いは四教科でそれは掲載する ; $hypothesis$ = 「この這いは四教科であるということはない」ということは成り立つ ; $proof$ = 
事実1: この這いは四教科でそれは掲載する

仮説: 「この這いは四教科であるということはない」ということは成り立つ