素晴らしいということが生じる
fact1: ぽのぽにょLv.81事件が生じる fact2: 「見分け難いということが起きるけどだらし無いということは発生しない」ということはまにゃまなLv.22事件は起こらないということを引き起こす fact3: 「まにゃまなLv.22事件が起こる」ということは成り立つ fact4: 「まにゃまなLv.22事件は生じなくて素晴らしいということは生じない」ということは宜しいということに起因する
void -> assump1: 以下のように仮定する。見分け難いということが起きる一方でだらし無いということは起きない; fact2 & assump1 -> int1: まにゃまなLv.22事件は生じない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「見分け難いということが生じる一方でだらし無いということは起こらない」ということは成り立たない」ということは本当だ;
void -> assump1: ({AA} & ¬{AB}); fact2 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA} & ¬{AB});
素晴らしいということは発生しない
$facts$ = fact1: ぽのぽにょLv.81事件が生じる fact2: 「見分け難いということが起きるけどだらし無いということは発生しない」ということはまにゃまなLv.22事件は起こらないということを引き起こす fact3: 「まにゃまなLv.22事件が起こる」ということは成り立つ fact4: 「まにゃまなLv.22事件は生じなくて素晴らしいということは生じない」ということは宜しいということに起因する ; $hypothesis$ = 素晴らしいということが生じる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__