「この感光層はつべたくない」ということは真実だ
fact1: 仮に「「この感光層は肯んぜなくてかつそれは絶縁状態だということはない」ということは誤りである」ということは確かだとすれば「つべたい」ということは正しい fact2: 「「この感光層は肯んぜなくてそれに絶縁状態でない」ということは事実と異なる」ということは本当だ
$facts$ = fact1: 仮に「「この感光層は肯んぜなくてかつそれは絶縁状態だということはない」ということは誤りである」ということは確かだとすれば「つべたい」ということは正しい fact2: 「「この感光層は肯んぜなくてそれに絶縁状態でない」ということは事実と異なる」ということは本当だ ; $hypothesis$ = 「この感光層はつべたくない」ということは真実だ ; $proof$ = 
事実1: 仮に「「この感光層は肯んぜなくてかつそれは絶縁状態だということはない」ということは誤りである」ということは確かだとすれば「つべたい」ということは正しい
事実2: 「「この感光層は肯んぜなくてそれに絶縁状態でない」ということは事実と異なる」ということは本当だ

仮説: 「この感光層はつべたくない」ということは真実だ