「もし果てし無いとすると慎ましくなくて海浜流でない」ものはある
fact1: もしとあるものが普及するなら果てし無くないし泊り歩かない fact2: 「仮に果てし無いなら慎ましいが海浜流でない」ものはある fact3: もしもその内部告発が果てし無いとすれば慎ましいということはないし海浜流であるということはない fact4: 「攻撃し易いなら各教科等でない」物はある fact5: 「もしも「果てし無い」ということは正しいとしたら慎ましくないし海浜流な」ものはある fact6: 「もし仮に「果てし無い」ということは誤りでないなら「慎ましくない」ということは真実な」物はある
fact3 -> hypothesis;
もし仮にこの作家達が普及するなら果てし無くなくてしかも泊り歩かない
fact7 -> hypothesis;
$facts$ = fact1: もしとあるものが普及するなら果てし無くないし泊り歩かない fact2: 「仮に果てし無いなら慎ましいが海浜流でない」ものはある fact3: もしもその内部告発が果てし無いとすれば慎ましいということはないし海浜流であるということはない fact4: 「攻撃し易いなら各教科等でない」物はある fact5: 「もしも「果てし無い」ということは正しいとしたら慎ましくないし海浜流な」ものはある fact6: 「もし仮に「果てし無い」ということは誤りでないなら「慎ましくない」ということは真実な」物はある ; $hypothesis$ = 「もし果てし無いとすると慎ましくなくて海浜流でない」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: もしとあるものが普及するなら果てし無くないし泊り歩かない
事実2: 「仮に果てし無いなら慎ましいが海浜流でない」ものはある
事実3: もしもその内部告発が果てし無いとすれば慎ましいということはないし海浜流であるということはない
事実4: 「攻撃し易いなら各教科等でない」物はある
事実5: 「もしも「果てし無い」ということは正しいとしたら慎ましくないし海浜流な」ものはある
事実6: 「もし仮に「果てし無い」ということは誤りでないなら「慎ましくない」ということは真実な」物はある

仮説: 「もし果てし無いとすると慎ましくなくて海浜流でない」ものはある
1. 事実3から、仮説が導かれる

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