あのしずちゃんは大目でない
fact1: あるものは明け暮れるしおまけに現出すればそれは番兵でない fact2: なにがしかのものが誘発しないとすると大目であるしかつ絡み付ける fact3: あのしずちゃんは立腹しない fact4: あのしずちゃんが朝鮮動乱であるしそれが立腹するとしたら大目でない fact5: そのミラクルは単位荷重であるけれど朝鮮動乱でない fact6: 仮にあのしずちゃんは朝鮮動乱だけれど立腹しないとしたらそれは大目でない fact7: 「あのしずちゃんは朝鮮動乱だけど立腹しない」ということは本当である fact8: もしある物は飛来しないがしかし立て易いなら蜀取りだ fact9: 仮に「この重低音は蜀取りでないけれどそれは応接する」ということは間違っているとするとあのしずちゃんは誘発しない fact10: もしこの書画が番兵でないとすればそのサッカー界は飛来しないけれど立て易い fact11: この書画は明け暮れるし現出する fact12: もし利用され易いものが凸凹するということはないならばむくつけしない
fact6 & fact7 -> hypothesis;
fact6 & fact7 -> hypothesis;
もしあの画業は利用され易いけど凸凹するということはないとすると「むくつけしない」ということは成り立つ
fact13 -> hypothesis;
$facts$ = fact1: あるものは明け暮れるしおまけに現出すればそれは番兵でない fact2: なにがしかのものが誘発しないとすると大目であるしかつ絡み付ける fact3: あのしずちゃんは立腹しない fact4: あのしずちゃんが朝鮮動乱であるしそれが立腹するとしたら大目でない fact5: そのミラクルは単位荷重であるけれど朝鮮動乱でない fact6: 仮にあのしずちゃんは朝鮮動乱だけれど立腹しないとしたらそれは大目でない fact7: 「あのしずちゃんは朝鮮動乱だけど立腹しない」ということは本当である fact8: もしある物は飛来しないがしかし立て易いなら蜀取りだ fact9: 仮に「この重低音は蜀取りでないけれどそれは応接する」ということは間違っているとするとあのしずちゃんは誘発しない fact10: もしこの書画が番兵でないとすればそのサッカー界は飛来しないけれど立て易い fact11: この書画は明け暮れるし現出する fact12: もし利用され易いものが凸凹するということはないならばむくつけしない ; $hypothesis$ = あのしずちゃんは大目でない ; $proof$ = 
fact6 & fact7 -> hypothesis; __PROVED__
事実1: あるものは明け暮れるしおまけに現出すればそれは番兵でない
事実2: なにがしかのものが誘発しないとすると大目であるしかつ絡み付ける
事実3: あのしずちゃんは立腹しない
事実4: あのしずちゃんが朝鮮動乱であるしそれが立腹するとしたら大目でない
事実5: そのミラクルは単位荷重であるけれど朝鮮動乱でない
事実6: 仮にあのしずちゃんは朝鮮動乱だけれど立腹しないとしたらそれは大目でない
事実7: 「あのしずちゃんは朝鮮動乱だけど立腹しない」ということは本当である
事実8: もしある物は飛来しないがしかし立て易いなら蜀取りだ
事実9: 仮に「この重低音は蜀取りでないけれどそれは応接する」ということは間違っているとするとあのしずちゃんは誘発しない
事実10: もしこの書画が番兵でないとすればそのサッカー界は飛来しないけれど立て易い
事実11: この書画は明け暮れるし現出する
事実12: もし利用され易いものが凸凹するということはないならばむくつけしない

仮説: あのしずちゃんは大目でない
1. 事実6と事実7から、仮説が導かれる

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