ぴゆぴえLv.62事件が起きる
fact1: もしぷよぷにゅLv.45事件が発生するなら「まねまやLv.1事件ではなくて程無いということが起こる」ということは成り立たない fact2: ぷなぷえLv.2事件がぴゆぴえLv.62事件は起きないということを阻止する fact3: ぷなぷえLv.2事件が生じる fact4: 「程無いということは生じない」ということは「ぴゆぴえLv.62事件は起こらない」ということを誘発する fact5: 「程無いということおよびぴゆぴえLv.62事件どちらもが生じる」ということは真実であるということはないならぴゆぴえLv.62事件は生じない fact6: 仮に「まねまやLv.1事件は起きないが程無いということが生じる」ということは偽だとすると程無いということは発生しない
fact3 -> int1: ぷなぷえLv.2事件が生じる; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}; int1 & fact2 -> hypothesis;
ぴゆぴえLv.62事件は発生しない
$facts$ = fact1: もしぷよぷにゅLv.45事件が発生するなら「まねまやLv.1事件ではなくて程無いということが起こる」ということは成り立たない fact2: ぷなぷえLv.2事件がぴゆぴえLv.62事件は起きないということを阻止する fact3: ぷなぷえLv.2事件が生じる fact4: 「程無いということは生じない」ということは「ぴゆぴえLv.62事件は起こらない」ということを誘発する fact5: 「程無いということおよびぴゆぴえLv.62事件どちらもが生じる」ということは真実であるということはないならぴゆぴえLv.62事件は生じない fact6: 仮に「まねまやLv.1事件は起きないが程無いということが生じる」ということは偽だとすると程無いということは発生しない ; $hypothesis$ = ぴゆぴえLv.62事件が起きる ; $proof$ = 
fact3 -> int1: ぷなぷえLv.2事件が生じる; int1 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: {A}; int1 & fact2 -> hypothesis; __PROVED__