「この法定は開発出来るということはない一方で縁側である」ということは偽である
fact1: 「蘇る」ものはある fact2: 仮に「蘇る」ものがあるとするとこの法定は開発出来ない一方でそれは縁側だ
$facts$ = fact1: 「蘇る」ものはある fact2: 仮に「蘇る」ものがあるとするとこの法定は開発出来ない一方でそれは縁側だ ; $hypothesis$ = 「この法定は開発出来るということはない一方で縁側である」ということは偽である ; $proof$ = 
事実1: 「蘇る」ものはある
事実2: 仮に「蘇る」ものがあるとするとこの法定は開発出来ない一方でそれは縁側だ

仮説: 「この法定は開発出来るということはない一方で縁側である」ということは偽である