このジャスミンは遅い
fact1: この検出率は崩し易い fact2: このジャスミンは侘しい fact3: もしなにかは維持すれば「それは口碑でないしおまけに補修である」ということは間違っている fact4: 仮にこの涙声が侘しいとしたらこのジャスミンは遅い fact5: この涙声は侘しい fact6: 仮にこのＢＳが口碑であるかまたはそれはバトル警視でないかあるいは両方であるならバトル警視であるということはない fact7: もし仮にこの涙声が遅いとしたらこのジャスミンは侘しい fact8: もし仮にこのジャスミンが侘しいとすればあの涙声は遅い fact9: もし仮にこの涙声が侘しいけれど遅くないならこのジャスミンは遅くない fact10: とあるものがバトル警視でないとすれば侘しいがしかし遅いということはない fact11: もし仮になにがしかの物がバトル警視でないとすると遅くておまけに侘しい
fact4 & fact5 -> hypothesis;
fact4 & fact5 -> hypothesis;
このＢＳは遅い
fact13 -> int1: もしもこのＢＳがバトル警視でないとしたら遅いし侘しい;
$facts$ = fact1: この検出率は崩し易い fact2: このジャスミンは侘しい fact3: もしなにかは維持すれば「それは口碑でないしおまけに補修である」ということは間違っている fact4: 仮にこの涙声が侘しいとしたらこのジャスミンは遅い fact5: この涙声は侘しい fact6: 仮にこのＢＳが口碑であるかまたはそれはバトル警視でないかあるいは両方であるならバトル警視であるということはない fact7: もし仮にこの涙声が遅いとしたらこのジャスミンは侘しい fact8: もし仮にこのジャスミンが侘しいとすればあの涙声は遅い fact9: もし仮にこの涙声が侘しいけれど遅くないならこのジャスミンは遅くない fact10: とあるものがバトル警視でないとすれば侘しいがしかし遅いということはない fact11: もし仮になにがしかの物がバトル警視でないとすると遅くておまけに侘しい ; $hypothesis$ = このジャスミンは遅い ; $proof$ = 
fact4 & fact5 -> hypothesis; __PROVED__
事実1: この検出率は崩し易い
事実2: このジャスミンは侘しい
事実3: もしなにかは維持すれば「それは口碑でないしおまけに補修である」ということは間違っている
事実4: 仮にこの涙声が侘しいとしたらこのジャスミンは遅い
事実5: この涙声は侘しい
事実6: 仮にこのＢＳが口碑であるかまたはそれはバトル警視でないかあるいは両方であるならバトル警視であるということはない
事実7: もし仮にこの涙声が遅いとしたらこのジャスミンは侘しい
事実8: もし仮にこのジャスミンが侘しいとすればあの涙声は遅い
事実9: もし仮にこの涙声が侘しいけれど遅くないならこのジャスミンは遅くない
事実10: とあるものがバトル警視でないとすれば侘しいがしかし遅いということはない
事実11: もし仮になにがしかの物がバトル警視でないとすると遅くておまけに侘しい

仮説: このジャスミンは遅い
1. 事実4と事実5から、仮説が導かれる

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