まねまにゅLv.16事件が生じるしその上御めでたいということが発生する
fact1: もしも「考え易いということは起こらない」ということは本当なら絶え難いということが起こるし御めでたいということが起こる fact2: まねまにゅLv.16事件が発生する
fact2 -> int1: まねまにゅLv.16事件が発生する;
fact2 -> int1: {A};
絶え難いということおよびみやみいLv.94事件が起きる
$facts$ = fact1: もしも「考え易いということは起こらない」ということは本当なら絶え難いということが起こるし御めでたいということが起こる fact2: まねまにゅLv.16事件が発生する ; $hypothesis$ = まねまにゅLv.16事件が生じるしその上御めでたいということが発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__