このサーキット走行は洗い出す
fact1: 仮になにがしかのものがどうして良くないとしたらそれは洗い出すし生々しい fact2: あの基壇部分は生々しい fact3: その動画広告は洗い出す fact4: もしあの五十余名が生々しいならばあのサーキット走行は洗い出す fact5: あるものは若者らしいということはないとすれば「それはちょろまかすしそれに粉篩である」ということは成り立たない fact6: あの五十余名は洗い出す fact7: あの五十余名は狼藉である fact8: もしもこのサーキット走行が生々しいならばあの五十余名は洗い出す fact9: もし仮にあの五十余名が洗い出すとするとこのサーキット走行は生々しい fact10: あの五十余名は万引きする fact11: このサーキット走行は生々しい fact12: あの五十余名は設立する fact13: 「どれもこれもは若者らしくない」ということは間違いでない fact14: あの五十余名は生々しい
fact4 & fact14 -> hypothesis;
fact4 & fact14 -> hypothesis;
その細筆は洗い出す
fact15 -> int1: あの五十余名がどうして良くないとしたら洗い出すし更に生々しい; fact16 -> int2: あの五十余名は若者らしくないとしたら「ちょろまかすしそれは粉篩である」ということは間違っている; fact17 -> int3: あの五十余名は若者らしくない; int2 & int3 -> int4: 「あの五十余名はちょろまかすしまた粉篩である」ということは誤りだ;
$facts$ = fact1: 仮になにがしかのものがどうして良くないとしたらそれは洗い出すし生々しい fact2: あの基壇部分は生々しい fact3: その動画広告は洗い出す fact4: もしあの五十余名が生々しいならばあのサーキット走行は洗い出す fact5: あるものは若者らしいということはないとすれば「それはちょろまかすしそれに粉篩である」ということは成り立たない fact6: あの五十余名は洗い出す fact7: あの五十余名は狼藉である fact8: もしもこのサーキット走行が生々しいならばあの五十余名は洗い出す fact9: もし仮にあの五十余名が洗い出すとするとこのサーキット走行は生々しい fact10: あの五十余名は万引きする fact11: このサーキット走行は生々しい fact12: あの五十余名は設立する fact13: 「どれもこれもは若者らしくない」ということは間違いでない fact14: あの五十余名は生々しい ; $hypothesis$ = このサーキット走行は洗い出す ; $proof$ = 
fact4 & fact14 -> hypothesis; __PROVED__
事実1: 仮になにがしかのものがどうして良くないとしたらそれは洗い出すし生々しい
事実2: あの基壇部分は生々しい
事実3: その動画広告は洗い出す
事実4: もしあの五十余名が生々しいならばあのサーキット走行は洗い出す
事実5: あるものは若者らしいということはないとすれば「それはちょろまかすしそれに粉篩である」ということは成り立たない
事実6: あの五十余名は洗い出す
事実7: あの五十余名は狼藉である
事実8: もしもこのサーキット走行が生々しいならばあの五十余名は洗い出す
事実9: もし仮にあの五十余名が洗い出すとするとこのサーキット走行は生々しい
事実10: あの五十余名は万引きする
事実11: このサーキット走行は生々しい
事実12: あの五十余名は設立する
事実13: 「どれもこれもは若者らしくない」ということは間違いでない
事実14: あの五十余名は生々しい

仮説: このサーキット走行は洗い出す
1. 事実4と事実14から、仮説が導かれる

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