以下のように仮定する。誤り無いということが起こる
fact1: ぽにょぽちょLv.19事件は起きないということは「気高しということが生じるし誤り無いということは生じない」ということに防がれる fact2: ぽにょぽいLv.46事件が起こる fact3: 仮にぽにょぽにょLv.81事件が生じないけれど気高しということは発生するとすれば誤り無いということが起こる fact4: ぽにょぽにょLv.81事件が起きる fact5: 「「気高しということが起こるがしかし誤り無いということは起きない」ということは事実である」ということはみやみくLv.66事件にもたらされる fact6: 気高しということが生じる
void -> assump1: 以下のように仮定する。誤り無いということが起こる; fact6 & assump1 -> int1: 気高しということと誤り無いということ両方ともが発生する;
void -> assump1: {B}; fact6 & assump1 -> int1: ({A} & {B});
以下のように仮定する。誤り無いということが起こる
$facts$ = fact1: ぽにょぽちょLv.19事件は起きないということは「気高しということが生じるし誤り無いということは生じない」ということに防がれる fact2: ぽにょぽいLv.46事件が起こる fact3: 仮にぽにょぽにょLv.81事件が生じないけれど気高しということは発生するとすれば誤り無いということが起こる fact4: ぽにょぽにょLv.81事件が起きる fact5: 「「気高しということが起こるがしかし誤り無いということは起きない」ということは事実である」ということはみやみくLv.66事件にもたらされる fact6: 気高しということが生じる ; $hypothesis$ = 以下のように仮定する。誤り無いということが起こる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__