「「まねまいLv.39事件は起きない」ということは憎々しいということかまたは切れることをもたらす」ということは事実と異なる
fact1: コントロール出来ることかぽゆぽわLv.92事件が起こる fact2: 予防・改善することが起こる fact3: 仮にまねまいLv.39事件は起きないなら黒しということは起きないけど勝ち続けることが生じる fact4: 悍ましいということではなくて姦しいということが生じる fact5: もし仮に尊いということと開き易いということが起こるとしたら有望視することが起こる fact6: 「憎々しいということは起きない」ということは「黒しということは起きなくて勝ち続けることが起こる」ということに阻止される fact7: 「黒しということではなく勝ち続けることが起こる」ということはまねまいLv.39事件が生じるということが契機だ
void -> assump1: 以下のように仮定する。「まねまいLv.39事件は生じない」ということは事実である; fact3 & assump1 -> int1: 黒しということではなく勝ち続けることが生じる; int1 & fact6 -> int2: 憎々しいということが起きる; int2 -> int3: 憎々しいということが起きるかあるいは切れることが発生するかもしくは両方である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact3 & assump1 -> int1: (¬{AA} & {AB}); int1 & fact6 -> int2: {B}; int2 -> int3: ({B} v {C}); [assump1] & int3 -> hypothesis;
$facts$ = fact1: コントロール出来ることかぽゆぽわLv.92事件が起こる fact2: 予防・改善することが起こる fact3: 仮にまねまいLv.39事件は起きないなら黒しということは起きないけど勝ち続けることが生じる fact4: 悍ましいということではなくて姦しいということが生じる fact5: もし仮に尊いということと開き易いということが起こるとしたら有望視することが起こる fact6: 「憎々しいということは起きない」ということは「黒しということは起きなくて勝ち続けることが起こる」ということに阻止される fact7: 「黒しということではなく勝ち続けることが起こる」ということはまねまいLv.39事件が生じるということが契機だ ; $hypothesis$ = 「「まねまいLv.39事件は起きない」ということは憎々しいということかまたは切れることをもたらす」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「まねまいLv.39事件は生じない」ということは事実である; fact3 & assump1 -> int1: 黒しということではなく勝ち続けることが生じる; int1 & fact6 -> int2: 憎々しいということが起きる; int2 -> int3: 憎々しいということが起きるかあるいは切れることが発生するかもしくは両方である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬{A}; fact3 & assump1 -> int1: (¬{AA} & {AB}); int1 & fact6 -> int2: {B}; int2 -> int3: ({B} v {C}); [assump1] & int3 -> hypothesis; __DISPROVED__