「「もし無さ過ぎないとしたら「申さないし晴れがましい」ということは正しい」ものはある」ということは本当だ
fact1: もし仮にある物が無さ過ぎないなら申さないしそれは晴れがましい
fact1 -> int1: もしこの切開孔が無さ過ぎないとするとそれは申さないし加えてそれは晴れがましい; int1 -> hypothesis;
$facts$ = fact1: もし仮にある物が無さ過ぎないなら申さないしそれは晴れがましい ; $hypothesis$ = 「「もし無さ過ぎないとしたら「申さないし晴れがましい」ということは正しい」ものはある」ということは本当だ ; $proof$ = 
fact1 -> int1: もしこの切開孔が無さ過ぎないとするとそれは申さないし加えてそれは晴れがましい; int1 -> hypothesis; __PROVED__
事実1: もし仮にある物が無さ過ぎないなら申さないしそれは晴れがましい

仮説: 「「もし無さ過ぎないとしたら「申さないし晴れがましい」ということは正しい」ものはある」ということは本当だ
1. 事実1から、推論1: "もしこの切開孔が無さ過ぎないとするとそれは申さないし加えてそれは晴れがましい"が導かれる
2. 推論1から、仮説が導かれる

よって、仮説が証明されました。