「まえまえLv.51事件およびぽわぽよLv.60事件が生じる」ということは本当でない
fact1: 仮にぴにょぴいLv.33事件は生じないならば「「まえまえLv.51事件およびぽわぽよLv.60事件が発生する」ということは成り立たない」ということは本当である fact2: 「正しいということともやもいLv.37事件が生じる」ということは確かである fact3: ぽわぽよLv.60事件が発生する fact4: ぴにょぴいLv.33事件が起きるしさらにまえまえLv.51事件が発生する
fact4 -> int1: まえまえLv.51事件が起こる; int1 & fact3 -> hypothesis;
fact4 -> int1: {B}; int1 & fact3 -> hypothesis;
「まえまえLv.51事件およびぽわぽよLv.60事件が生じる」ということは本当でない
$facts$ = fact1: 仮にぴにょぴいLv.33事件は生じないならば「「まえまえLv.51事件およびぽわぽよLv.60事件が発生する」ということは成り立たない」ということは本当である fact2: 「正しいということともやもいLv.37事件が生じる」ということは確かである fact3: ぽわぽよLv.60事件が発生する fact4: ぴにょぴいLv.33事件が起きるしさらにまえまえLv.51事件が発生する ; $hypothesis$ = 「まえまえLv.51事件およびぽわぽよLv.60事件が生じる」ということは本当でない ; $proof$ = 
fact4 -> int1: まえまえLv.51事件が起こる; int1 & fact3 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 & fact3 -> hypothesis; __DISPROVED__