「もし「繰るけど聞き易くない」ということは成り立たないとすると誕生しない」ものはある
fact1: もしとある物が繰らないなら誕生するということはない fact2: もし「なにがしかの物は繰るけれどそれは聞き易くない」ということは成り立たないとすれば誕生するということはない
fact2 -> int1: もし仮に「あの被評価者は繰るが聞き易くない」ということは事実と異なるとするとそれは誕生しない; int1 -> hypothesis;
$facts$ = fact1: もしとある物が繰らないなら誕生するということはない fact2: もし「なにがしかの物は繰るけれどそれは聞き易くない」ということは成り立たないとすれば誕生するということはない ; $hypothesis$ = 「もし「繰るけど聞き易くない」ということは成り立たないとすると誕生しない」ものはある ; $proof$ = 
fact2 -> int1: もし仮に「あの被評価者は繰るが聞き易くない」ということは事実と異なるとするとそれは誕生しない; int1 -> hypothesis; __PROVED__
事実1: もしとある物が繰らないなら誕生するということはない
事実2: もし「なにがしかの物は繰るけれどそれは聞き易くない」ということは成り立たないとすれば誕生するということはない

仮説: 「もし「繰るけど聞き易くない」ということは成り立たないとすると誕生しない」ものはある
1. 事実2から、推論1: "もし仮に「あの被評価者は繰るが聞き易くない」ということは事実と異なるとするとそれは誕生しない"が導かれる
2. 推論1から、仮説が導かれる

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