「「もし仮に「バルサでないし加えて平たくない」ということは成り立たないとすると「口惜しい」ということは確かな」ものはある」ということは偽だ
fact1: 仮に「この切り下げはバルサでなくておまけに平たくない」ということは嘘であるとすれば口惜しい
$facts$ = fact1: 仮に「この切り下げはバルサでなくておまけに平たくない」ということは嘘であるとすれば口惜しい ; $hypothesis$ = 「「もし仮に「バルサでないし加えて平たくない」ということは成り立たないとすると「口惜しい」ということは確かな」ものはある」ということは偽だ ; $proof$ = 
事実1: 仮に「この切り下げはバルサでなくておまけに平たくない」ということは嘘であるとすれば口惜しい

仮説: 「「もし仮に「バルサでないし加えて平たくない」ということは成り立たないとすると「口惜しい」ということは確かな」ものはある」ということは偽だ