もえもちゃLv.25事件が発生する
fact1: もし「ぽちゃぽゆLv.28事件は起きないしもよもにゃLv.63事件は生じない」ということは偽ならもよもにゃLv.63事件が起こる fact2: もよもにゃLv.63事件が発生するし更に如何わしいということが起こる fact3: もし如何わしいということは生じないとすればもよもにゃLv.63事件とぴやぴにゃLv.91事件が発生する
fact2 -> int1: 如何わしいということが発生する;
fact2 -> int1: {B};
ぴやぴにゃLv.91事件が発生するしまた拭い難いということは発生する
$facts$ = fact1: もし「ぽちゃぽゆLv.28事件は起きないしもよもにゃLv.63事件は生じない」ということは偽ならもよもにゃLv.63事件が起こる fact2: もよもにゃLv.63事件が発生するし更に如何わしいということが起こる fact3: もし如何わしいということは生じないとすればもよもにゃLv.63事件とぴやぴにゃLv.91事件が発生する ; $hypothesis$ = もえもちゃLv.25事件が発生する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__