ぽいぽゆLv.31事件は起こらない
fact1: ぷにぷちゅLv.84事件が発生する fact2: 粗いということが発生する fact3: あどけないということは「ぽいぽゆLv.31事件は起こらない」ということを防ぐ fact4: 粗いということはあどけないということに帰結する fact5: もし「みいみにょLv.7事件は生じないしもどかしいということは起きない」ということは嘘だとすればあどけないということは起きない
fact4 & fact2 -> int1: あどけないということが生じる; int1 & fact3 -> hypothesis;
fact4 & fact2 -> int1: {B}; int1 & fact3 -> hypothesis;
ぽいぽゆLv.31事件は起こらない
$facts$ = fact1: ぷにぷちゅLv.84事件が発生する fact2: 粗いということが発生する fact3: あどけないということは「ぽいぽゆLv.31事件は起こらない」ということを防ぐ fact4: 粗いということはあどけないということに帰結する fact5: もし「みいみにょLv.7事件は生じないしもどかしいということは起きない」ということは嘘だとすればあどけないということは起きない ; $hypothesis$ = ぽいぽゆLv.31事件は起こらない ; $proof$ = 
fact4 & fact2 -> int1: あどけないということが生じる; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 & fact2 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__