ぴにゅぴなLv.50事件は発生しない
fact1: 仮に「御辛いということおよび構築すこと両方ともが起こる」ということは嘘だとすればぽよぽちゅLv.68事件は発生しない fact2: もしも着せがましいということが生じるし小汚いということは生じないなら率先することは生じない fact3: 「惨いということとぽわぽちゃLv.8事件両方ともが起こる」ということは間違いならまわまのLv.72事件は起きない fact4: 見難いということが起こる fact5: まわまのLv.72事件は起きないとしたら着せがましいということが起こるがしかし小汚いということは起こらない fact6: もし仮にぽよぽちゅLv.68事件は起こらないとすれば「惨いということが起こるし加えてぽわぽちゃLv.8事件が発生する」ということは偽である fact7: もし見難いということかあるいは率先することが生じるとしたら「ぴにゅぴなLv.50事件は生じない」ということは確かだ
fact4 -> int1: 見難いということかあるいは率先することが発生する; int1 & fact7 -> hypothesis;
fact4 -> int1: ({A} v {B}); int1 & fact7 -> hypothesis;
ぴにゅぴなLv.50事件が発生する
$facts$ = fact1: 仮に「御辛いということおよび構築すこと両方ともが起こる」ということは嘘だとすればぽよぽちゅLv.68事件は発生しない fact2: もしも着せがましいということが生じるし小汚いということは生じないなら率先することは生じない fact3: 「惨いということとぽわぽちゃLv.8事件両方ともが起こる」ということは間違いならまわまのLv.72事件は起きない fact4: 見難いということが起こる fact5: まわまのLv.72事件は起きないとしたら着せがましいということが起こるがしかし小汚いということは起こらない fact6: もし仮にぽよぽちゅLv.68事件は起こらないとすれば「惨いということが起こるし加えてぽわぽちゃLv.8事件が発生する」ということは偽である fact7: もし見難いということかあるいは率先することが生じるとしたら「ぴにゅぴなLv.50事件は生じない」ということは確かだ ; $hypothesis$ = ぴにゅぴなLv.50事件は発生しない ; $proof$ = 
fact4 -> int1: 見難いということかあるいは率先することが発生する; int1 & fact7 -> hypothesis; __PROVED__
fact4 -> int1: ({A} v {B}); int1 & fact7 -> hypothesis; __PROVED__