みいみいLv.31事件は発生しない
fact1: 「みいみいLv.31事件が起こるけどぴにょぴちゅLv.84事件は生じない」ということは間違いであるとすればがっくりすることは生じない fact2: 政治化することは「入手し易いということは起こらない」ということを阻む fact3: がっくりすることが起きる
void -> assump1: 以下のように仮定する。「みいみいLv.31事件が生じるしぴにょぴちゅLv.84事件は生じない」ということは成り立たない; fact1 & assump1 -> int1: がっくりすることは起きない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: みいみいLv.31事件は発生する一方でぴにょぴちゅLv.84事件は発生しない; int3 -> hypothesis;
void -> assump1: ¬({AA} & ¬{AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ({AA} & ¬{AB}); int3 -> hypothesis;
入手し易いということが発生する
$facts$ = fact1: 「みいみいLv.31事件が起こるけどぴにょぴちゅLv.84事件は生じない」ということは間違いであるとすればがっくりすることは生じない fact2: 政治化することは「入手し易いということは起こらない」ということを阻む fact3: がっくりすることが起きる ; $hypothesis$ = みいみいLv.31事件は発生しない ; $proof$ = 
void -> assump1: 以下のように仮定する。「みいみいLv.31事件が生じるしぴにょぴちゅLv.84事件は生じない」ということは成り立たない; fact1 & assump1 -> int1: がっくりすることは起きない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: みいみいLv.31事件は発生する一方でぴにょぴちゅLv.84事件は発生しない; int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬({AA} & ¬{AB}); fact1 & assump1 -> int1: ¬{B}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ({AA} & ¬{AB}); int3 -> hypothesis; __DISPROVED__