ぽにょぽなLv.97事件が起こる
fact1: ぽにょぽなLv.97事件が生じないということはもねもいLv.13事件とぴゆぴちゃLv.72事件は発生するに阻まれる fact2: 止めど無いということは生じないし判断出来ることが起こる fact3: 止めど無いということは起こらないとすればもねもいLv.13事件が生じるがしかしぴゆぴちゃLv.72事件は起こらない
fact2 -> int1: 止めど無いということは起きない; int1 & fact3 -> int2: もねもいLv.13事件は発生する一方でぴゆぴちゃLv.72事件は起こらない;
fact2 -> int1: ¬{A}; int1 & fact3 -> int2: ({C} & ¬{D});
$facts$ = fact1: ぽにょぽなLv.97事件が生じないということはもねもいLv.13事件とぴゆぴちゃLv.72事件は発生するに阻まれる fact2: 止めど無いということは生じないし判断出来ることが起こる fact3: 止めど無いということは起こらないとすればもねもいLv.13事件が生じるがしかしぴゆぴちゃLv.72事件は起こらない ; $hypothesis$ = ぽにょぽなLv.97事件が起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__