決議することが起きる
fact1: ぽわぽにゅLv.13事件が生じるし物凄ーいということが発生する
fact1 -> int1: ぽわぽにゅLv.13事件が発生する;
fact1 -> int1: {A};
$facts$ = fact1: ぽわぽにゅLv.13事件が生じるし物凄ーいということが発生する ; $hypothesis$ = 決議することが起きる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__