「もしも給付しないとすれば「実業学校でないしそれに狭苦しくない」ということは成り立つということはない」ものはある
fact1: もしあるものは給付しないならば「それは実業学校でなくて狭苦しくない」ということは間違っている fact2: 「もし平たくないとすると「詳しい一方で蒸さない」ということは成り立たない」物はある
fact1 -> int1: その学生達は給付するということはないとすると「それは実業学校でないし更に狭苦しくない」ということは誤りである; int1 -> hypothesis;
$facts$ = fact1: もしあるものは給付しないならば「それは実業学校でなくて狭苦しくない」ということは間違っている fact2: 「もし平たくないとすると「詳しい一方で蒸さない」ということは成り立たない」物はある ; $hypothesis$ = 「もしも給付しないとすれば「実業学校でないしそれに狭苦しくない」ということは成り立つということはない」ものはある ; $proof$ = 
fact1 -> int1: その学生達は給付するということはないとすると「それは実業学校でないし更に狭苦しくない」ということは誤りである; int1 -> hypothesis; __PROVED__
事実1: もしあるものは給付しないならば「それは実業学校でなくて狭苦しくない」ということは間違っている
事実2: 「もし平たくないとすると「詳しい一方で蒸さない」ということは成り立たない」物はある

仮説: 「もしも給付しないとすれば「実業学校でないしそれに狭苦しくない」ということは成り立つということはない」ものはある
1. 事実1から、推論1: "その学生達は給付するということはないとすると「それは実業学校でないし更に狭苦しくない」ということは誤りである"が導かれる
2. 推論1から、仮説が導かれる

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