あの政府債務残高は踏み消さない
fact1: 「この解党的改革は吹き過ぎないがしかしそれは切り飛ばす」ということは成り立たない fact2: もし「「この解党的改革は吹き過ぎるということはないがしかし切り飛ばす」ということは嘘である」ということは成り立つとしたらあの政府債務残高は踏み消さない
$facts$ = fact1: 「この解党的改革は吹き過ぎないがしかしそれは切り飛ばす」ということは成り立たない fact2: もし「「この解党的改革は吹き過ぎるということはないがしかし切り飛ばす」ということは嘘である」ということは成り立つとしたらあの政府債務残高は踏み消さない ; $hypothesis$ = あの政府債務残高は踏み消さない ; $proof$ = 
事実1: 「この解党的改革は吹き過ぎないがしかしそれは切り飛ばす」ということは成り立たない
事実2: もし「「この解党的改革は吹き過ぎるということはないがしかし切り飛ばす」ということは嘘である」ということは成り立つとしたらあの政府債務残高は踏み消さない

仮説: あの政府債務残高は踏み消さない