このムービーはシェアーする
fact1: その小使はぶつけるししかも甘い fact2: このムービーは安い fact3: もし仮にあの指導者間はシェアーしないなら「浴びせる」ということは成り立つ fact4: このムービーはマップＡであるということはない fact5: もしもこのムービーが決裂しないなら甘い fact6: あの封建主義はマップＡでない fact7: あのクラリネットは甘い fact8: もしこのムービーはマップＡでないとすると甘いしシェアーする fact9: もし仮にこのムービーがクラッチだということはないならば川崎宿だしそれはマップＡである
fact8 & fact4 -> int1: このムービーは甘いしシェアーする; int1 -> hypothesis;
$facts$ = fact1: その小使はぶつけるししかも甘い fact2: このムービーは安い fact3: もし仮にあの指導者間はシェアーしないなら「浴びせる」ということは成り立つ fact4: このムービーはマップＡであるということはない fact5: もしもこのムービーが決裂しないなら甘い fact6: あの封建主義はマップＡでない fact7: あのクラリネットは甘い fact8: もしこのムービーはマップＡでないとすると甘いしシェアーする fact9: もし仮にこのムービーがクラッチだということはないならば川崎宿だしそれはマップＡである ; $hypothesis$ = このムービーはシェアーする ; $proof$ = 
fact8 & fact4 -> int1: このムービーは甘いしシェアーする; int1 -> hypothesis; __PROVED__
事実1: その小使はぶつけるししかも甘い
事実2: このムービーは安い
事実3: もし仮にあの指導者間はシェアーしないなら「浴びせる」ということは成り立つ
事実4: このムービーはマップＡであるということはない
事実5: もしもこのムービーが決裂しないなら甘い
事実6: あの封建主義はマップＡでない
事実7: あのクラリネットは甘い
事実8: もしこのムービーはマップＡでないとすると甘いしシェアーする
事実9: もし仮にこのムービーがクラッチだということはないならば川崎宿だしそれはマップＡである

仮説: このムービーはシェアーする
1. 事実8と事実4から、推論1: "このムービーは甘いしシェアーする"が導かれる
2. 推論1から、仮説が導かれる

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