「ぴにょぴえLv.85事件が生じるしものもいLv.77事件が生じる」ということは成り立たない
fact1: ぴにょぴえLv.85事件が発生する fact2: ものもいLv.77事件が発生する fact3: もしもみにゅみちゅLv.42事件は起こらないなら「「ぴにょぴえLv.85事件が生じるしものもいLv.77事件が生じる」ということは成り立たない」ということは確かである
fact1 -> int1: ぴにょぴえLv.85事件が発生する; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}; int1 & fact2 -> hypothesis;
「ぴにょぴえLv.85事件が生じるしものもいLv.77事件が生じる」ということは成り立たない
$facts$ = fact1: ぴにょぴえLv.85事件が発生する fact2: ものもいLv.77事件が発生する fact3: もしもみにゅみちゅLv.42事件は起こらないなら「「ぴにょぴえLv.85事件が生じるしものもいLv.77事件が生じる」ということは成り立たない」ということは確かである ; $hypothesis$ = 「ぴにょぴえLv.85事件が生じるしものもいLv.77事件が生じる」ということは成り立たない ; $proof$ = 
fact1 -> int1: ぴにょぴえLv.85事件が発生する; int1 & fact2 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact2 -> hypothesis; __DISPROVED__