もにょもわLv.75事件が起こるしさらに履き潰すことが起きる
fact1: みねみやLv.56事件が生じる fact2: 履き潰すことが起こる fact3: もにょもわLv.75事件は発生しないということはまのまにゅLv.88事件に阻まれる fact4: もにゅもくLv.70事件が起きる fact5: まのまにゅLv.88事件が生じる
fact3 & fact5 -> int1: もにょもわLv.75事件が発生する; int1 & fact2 -> hypothesis;
fact3 & fact5 -> int1: {B}; int1 & fact2 -> hypothesis;
$facts$ = fact1: みねみやLv.56事件が生じる fact2: 履き潰すことが起こる fact3: もにょもわLv.75事件は発生しないということはまのまにゅLv.88事件に阻まれる fact4: もにゅもくLv.70事件が起きる fact5: まのまにゅLv.88事件が生じる ; $hypothesis$ = もにょもわLv.75事件が起こるしさらに履き潰すことが起きる ; $proof$ = 
fact3 & fact5 -> int1: もにょもわLv.75事件が発生する; int1 & fact2 -> hypothesis; __PROVED__
fact3 & fact5 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__