「「まだるっこしいということは生じない」ということは褒め讚えることに阻まれる」ということは事実と異なる
fact1: 見られ易いということは「独占出来ることが生じるかみっともないということは起こらない」ということをもたらす fact2: 「独占出来ることが発生するかもしくはみっともないということは発生しない」ということは「みっともないということは生じない」ということに繋がる fact3: ぴのぴなLv.57事件は生じないなら「褒め讚えることおよび冗談っぽいということ両方が起きる」ということは確かである fact4: ぴのぴなLv.57事件が生じるということは褒め讚えることが契機だ fact5: まだるっこしいということはぴのぴなLv.57事件がきっかけである
void -> assump1: 以下のように仮定する。褒め讚えることが生じる; fact4 & assump1 -> int1: ぴのぴなLv.57事件が起きる; int1 & fact5 -> int2: まだるっこしいということが生じる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis;
冗談っぽいということが発生する
$facts$ = fact1: 見られ易いということは「独占出来ることが生じるかみっともないということは起こらない」ということをもたらす fact2: 「独占出来ることが発生するかもしくはみっともないということは発生しない」ということは「みっともないということは生じない」ということに繋がる fact3: ぴのぴなLv.57事件は生じないなら「褒め讚えることおよび冗談っぽいということ両方が起きる」ということは確かである fact4: ぴのぴなLv.57事件が生じるということは褒め讚えることが契機だ fact5: まだるっこしいということはぴのぴなLv.57事件がきっかけである ; $hypothesis$ = 「「まだるっこしいということは生じない」ということは褒め讚えることに阻まれる」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。褒め讚えることが生じる; fact4 & assump1 -> int1: ぴのぴなLv.57事件が起きる; int1 & fact5 -> int2: まだるっこしいということが生じる; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact5 -> int2: {C}; [assump1] & int2 -> hypothesis; __DISPROVED__