意義深いということともちょもよLv.71事件が起こる
fact1: 意義深いということが起こる fact2: もちょもよLv.71事件が起きる
fact1 -> int1: 意義深いということが起こる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
$facts$ = fact1: 意義深いということが起こる fact2: もちょもよLv.71事件が起きる ; $hypothesis$ = 意義深いということともちょもよLv.71事件が起こる ; $proof$ = 
fact1 -> int1: 意義深いということが起こる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__