あのミュージカルは里帰りしなくて更にそれはちっこくない
fact1: あのミュージカルは隠し込む fact2: そのジンジャーソースが程良いならばそれは過ぎ去らないし更に面倒臭がらない fact3: きな臭くないものは土・日曜であるとしたら「それは隠し込む」ということは本当である fact4: 仮にあのミュージカルが移り易いとしたらちっこくない fact5: あの感情型が隠し込むならあのミュージカルは里帰りしないし労働能力でない fact6: 仮にあのミュージカルが隠し込むとすると里帰りしないしちっこいということはない fact7: あの大根役者は隠し込む fact8: 仮にあのミュージカルが隠し込むとすればそれは里帰りしない
fact6 & fact1 -> hypothesis;
fact6 & fact1 -> hypothesis;
あのミュージカルが里帰りしないしさらに労働能力でない
$facts$ = fact1: あのミュージカルは隠し込む fact2: そのジンジャーソースが程良いならばそれは過ぎ去らないし更に面倒臭がらない fact3: きな臭くないものは土・日曜であるとしたら「それは隠し込む」ということは本当である fact4: 仮にあのミュージカルが移り易いとしたらちっこくない fact5: あの感情型が隠し込むならあのミュージカルは里帰りしないし労働能力でない fact6: 仮にあのミュージカルが隠し込むとすると里帰りしないしちっこいということはない fact7: あの大根役者は隠し込む fact8: 仮にあのミュージカルが隠し込むとすればそれは里帰りしない ; $hypothesis$ = あのミュージカルは里帰りしなくて更にそれはちっこくない ; $proof$ = 
fact6 & fact1 -> hypothesis; __PROVED__
事実1: あのミュージカルは隠し込む
事実2: そのジンジャーソースが程良いならばそれは過ぎ去らないし更に面倒臭がらない
事実3: きな臭くないものは土・日曜であるとしたら「それは隠し込む」ということは本当である
事実4: 仮にあのミュージカルが移り易いとしたらちっこくない
事実5: あの感情型が隠し込むならあのミュージカルは里帰りしないし労働能力でない
事実6: 仮にあのミュージカルが隠し込むとすると里帰りしないしちっこいということはない
事実7: あの大根役者は隠し込む
事実8: 仮にあのミュージカルが隠し込むとすればそれは里帰りしない

仮説: あのミュージカルは里帰りしなくて更にそれはちっこくない
1. 事実6と事実1から、仮説が導かれる

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