もにゅものLv.78事件およびブラバスらしいということどちらもが発生する
fact1: もにゅものLv.78事件が起きる fact2: ブラバスらしいということが起きる
fact1 -> int1: もにゅものLv.78事件が起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
$facts$ = fact1: もにゅものLv.78事件が起きる fact2: ブラバスらしいということが起きる ; $hypothesis$ = もにゅものLv.78事件およびブラバスらしいということどちらもが発生する ; $proof$ = 
fact1 -> int1: もにゅものLv.78事件が起きる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__