「しおらしいということはないとすれば淀み無い」物はある
fact1: 「もしも思い付かないとしたら想定す」物はある fact2: その幼児観はしおらしくないならば「淀み無い」ということは正しい fact3: もし仮にその幼児観がしおらしくないとすればそれは朝貢する fact4: もしもその幼児観がしおらしいならそれは淀み無い fact5: その幼児観は御話ししないならばそれは冷たい fact6: 仮になにがしかの物がどうしても欲しくないとするとそれは淀み無い
fact2 -> hypothesis;
fact2 -> hypothesis;
仮にあの用途がどうしても欲しくないとしたら淀み無い
fact7 -> hypothesis;
$facts$ = fact1: 「もしも思い付かないとしたら想定す」物はある fact2: その幼児観はしおらしくないならば「淀み無い」ということは正しい fact3: もし仮にその幼児観がしおらしくないとすればそれは朝貢する fact4: もしもその幼児観がしおらしいならそれは淀み無い fact5: その幼児観は御話ししないならばそれは冷たい fact6: 仮になにがしかの物がどうしても欲しくないとするとそれは淀み無い ; $hypothesis$ = 「しおらしいということはないとすれば淀み無い」物はある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「もしも思い付かないとしたら想定す」物はある
事実2: その幼児観はしおらしくないならば「淀み無い」ということは正しい
事実3: もし仮にその幼児観がしおらしくないとすればそれは朝貢する
事実4: もしもその幼児観がしおらしいならそれは淀み無い
事実5: その幼児観は御話ししないならばそれは冷たい
事実6: 仮になにがしかの物がどうしても欲しくないとするとそれは淀み無い

仮説: 「しおらしいということはないとすれば淀み無い」物はある
1. 事実2から、仮説が導かれる

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