「もし仮に妹弟子でないし暗号化しないとすれば照れ臭くない」物はある
fact1: 「もし仮に馬鹿騒ぎしないしさらに取り扱えないとすれば放牧しない」物はある fact2: 「もし仮に収容しないがしかし新米であるとすれば味気なくない」ものはある fact3: 「もしも詮無いということはなくて新米でないとすれば「根深い」ということは本当である」ものはある fact4: もしもあの騎馬軍団が妹弟子でないし加えて暗号化するということはないとすれば照れ臭くない fact5: 「仮にＣ攻撃でないし加えて欲しかないならば商業社会でない」ものはある fact6: 「もしも突かないがしかし監視し易いとすると幼くない」ものはある fact7: もしもこの真鯉は冷飲しないがしかしデコレーションだとするとそれは妹弟子であるということはない fact8: 仮にあの騎馬軍団は辛気臭くないけど口外するとすればそれは罷り通らない fact9: 仮にあの騎馬軍団が通行出来ないしさらに欲しかないとするとそれは根深くない fact10: もしあの騎馬軍団は妹弟子でないけれど暗号化するなら照れ臭くない fact11: 「もしも妹弟子だし更に暗号化しないとすれば「照れ臭くない」ということは成り立つ」ものはある fact12: 「もしも不拡大方針であるし加えて得易くないとすればめんどいということはない」物はある fact13: 「中国語言文化友誼賞でなくてその上埋置しないならば思い易くない」物はある
fact4 -> hypothesis;
$facts$ = fact1: 「もし仮に馬鹿騒ぎしないしさらに取り扱えないとすれば放牧しない」物はある fact2: 「もし仮に収容しないがしかし新米であるとすれば味気なくない」ものはある fact3: 「もしも詮無いということはなくて新米でないとすれば「根深い」ということは本当である」ものはある fact4: もしもあの騎馬軍団が妹弟子でないし加えて暗号化するということはないとすれば照れ臭くない fact5: 「仮にＣ攻撃でないし加えて欲しかないならば商業社会でない」ものはある fact6: 「もしも突かないがしかし監視し易いとすると幼くない」ものはある fact7: もしもこの真鯉は冷飲しないがしかしデコレーションだとするとそれは妹弟子であるということはない fact8: 仮にあの騎馬軍団は辛気臭くないけど口外するとすればそれは罷り通らない fact9: 仮にあの騎馬軍団が通行出来ないしさらに欲しかないとするとそれは根深くない fact10: もしあの騎馬軍団は妹弟子でないけれど暗号化するなら照れ臭くない fact11: 「もしも妹弟子だし更に暗号化しないとすれば「照れ臭くない」ということは成り立つ」ものはある fact12: 「もしも不拡大方針であるし加えて得易くないとすればめんどいということはない」物はある fact13: 「中国語言文化友誼賞でなくてその上埋置しないならば思い易くない」物はある ; $hypothesis$ = 「もし仮に妹弟子でないし暗号化しないとすれば照れ臭くない」物はある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「もし仮に馬鹿騒ぎしないしさらに取り扱えないとすれば放牧しない」物はある
事実2: 「もし仮に収容しないがしかし新米であるとすれば味気なくない」ものはある
事実3: 「もしも詮無いということはなくて新米でないとすれば「根深い」ということは本当である」ものはある
事実4: もしもあの騎馬軍団が妹弟子でないし加えて暗号化するということはないとすれば照れ臭くない
事実5: 「仮にＣ攻撃でないし加えて欲しかないならば商業社会でない」ものはある
事実6: 「もしも突かないがしかし監視し易いとすると幼くない」ものはある
事実7: もしもこの真鯉は冷飲しないがしかしデコレーションだとするとそれは妹弟子であるということはない
事実8: 仮にあの騎馬軍団は辛気臭くないけど口外するとすればそれは罷り通らない
事実9: 仮にあの騎馬軍団が通行出来ないしさらに欲しかないとするとそれは根深くない
事実10: もしあの騎馬軍団は妹弟子でないけれど暗号化するなら照れ臭くない
事実11: 「もしも妹弟子だし更に暗号化しないとすれば「照れ臭くない」ということは成り立つ」ものはある
事実12: 「もしも不拡大方針であるし加えて得易くないとすればめんどいということはない」物はある
事実13: 「中国語言文化友誼賞でなくてその上埋置しないならば思い易くない」物はある

仮説: 「もし仮に妹弟子でないし暗号化しないとすれば照れ臭くない」物はある
1. 事実4から、仮説が導かれる

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