もなもちゅLv.3事件かまたは遣る瀬無いということかもしくは両方が生じる
fact1: 遣る瀬無いということが発生する
fact1 -> int1: 遣る瀬無いということが発生する; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
$facts$ = fact1: 遣る瀬無いということが発生する ; $hypothesis$ = もなもちゅLv.3事件かまたは遣る瀬無いということかもしくは両方が生じる ; $proof$ = 
fact1 -> int1: 遣る瀬無いということが発生する; int1 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __PROVED__