「もし仮にこの兵隊は物悲しいということはないなら「この兵隊は地下深くて長い」ということは成り立たない」ということは成り立たない
fact1: 「なんらかの物は物悲しいということはない」ということは真実だとしたら「それは地下深いしかつ長い」ということは誤りだ
$facts$ = fact1: 「なんらかの物は物悲しいということはない」ということは真実だとしたら「それは地下深いしかつ長い」ということは誤りだ ; $hypothesis$ = 「もし仮にこの兵隊は物悲しいということはないなら「この兵隊は地下深くて長い」ということは成り立たない」ということは成り立たない ; $proof$ = 
事実1: 「なんらかの物は物悲しいということはない」ということは真実だとしたら「それは地下深いしかつ長い」ということは誤りだ

仮説: 「もし仮にこの兵隊は物悲しいということはないなら「この兵隊は地下深くて長い」ということは成り立たない」ということは成り立たない