「「もしも「地中深いということはないし堆い」ということは成り立たないとすれば空壕である」ものはある」ということは誤りだ
fact1: 「「あの郵便屋さんは地中深くないが堆い」ということは成り立たない」ということは確かだとすれば空壕である
$facts$ = fact1: 「「あの郵便屋さんは地中深くないが堆い」ということは成り立たない」ということは確かだとすれば空壕である ; $hypothesis$ = 「「もしも「地中深いということはないし堆い」ということは成り立たないとすれば空壕である」ものはある」ということは誤りだ ; $proof$ = 
事実1: 「「あの郵便屋さんは地中深くないが堆い」ということは成り立たない」ということは確かだとすれば空壕である

仮説: 「「もしも「地中深いということはないし堆い」ということは成り立たないとすれば空壕である」ものはある」ということは誤りだ