以下のように仮定する。みにゅみえLv.87事件は起こらない
fact1: もしも「みにゅみえLv.87事件は生じない」ということは真実だとしたらまにゃまやLv.25事件ではなくてうら若しということが発生する fact2: まにゃまやLv.25事件は起こらない
void -> assump1: 以下のように仮定する。みにゅみえLv.87事件は起こらない; fact1 & assump1 -> int1: まにゃまやLv.25事件は発生しない一方でうら若しということが起きる; int1 -> int2: うら若しということが発生する;
void -> assump1: ¬{A}; fact1 & assump1 -> int1: (¬{AA} & {AB}); int1 -> int2: {AB};
$facts$ = fact1: もしも「みにゅみえLv.87事件は生じない」ということは真実だとしたらまにゃまやLv.25事件ではなくてうら若しということが発生する fact2: まにゃまやLv.25事件は起こらない ; $hypothesis$ = 以下のように仮定する。みにゅみえLv.87事件は起こらない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__