この転倒・転落は嗄れる
fact1: もしも「その露光は嗄れないけどそれは鞘走る」ということは成り立たないとすればこの転倒・転落は嗄れない fact2: この転倒・転落は御存じ無いししかも物々しい fact3: もし仮になにがしかのものが嗄れないとすれば浅くてまた応じ切れる fact4: あのアコースティックは鞘走る fact5: この転倒・転落は鞘走る fact6: この転倒・転落は嗄れるしそれにそれは鞘走る
fact6 -> hypothesis;
fact6 -> hypothesis;
あのジャングル・スイートは浅くて応じ切れる
fact7 -> int1: あのジャングル・スイートが嗄れるということはないとすれば浅いしまた応じ切れる;
$facts$ = fact1: もしも「その露光は嗄れないけどそれは鞘走る」ということは成り立たないとすればこの転倒・転落は嗄れない fact2: この転倒・転落は御存じ無いししかも物々しい fact3: もし仮になにがしかのものが嗄れないとすれば浅くてまた応じ切れる fact4: あのアコースティックは鞘走る fact5: この転倒・転落は鞘走る fact6: この転倒・転落は嗄れるしそれにそれは鞘走る ; $hypothesis$ = この転倒・転落は嗄れる ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: もしも「その露光は嗄れないけどそれは鞘走る」ということは成り立たないとすればこの転倒・転落は嗄れない
事実2: この転倒・転落は御存じ無いししかも物々しい
事実3: もし仮になにがしかのものが嗄れないとすれば浅くてまた応じ切れる
事実4: あのアコースティックは鞘走る
事実5: この転倒・転落は鞘走る
事実6: この転倒・転落は嗄れるしそれにそれは鞘走る

仮説: この転倒・転落は嗄れる
1. 事実6から、仮説が導かれる

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