考え辛いということが生じる
fact1: ぽなぽやLv.59事件が起きるし更にぴにゃぴゆLv.80事件が起きる fact2: もしも「「離れ過ぎることは起こらないかもしくは考え辛いということは起こらないかもしくは両方だ」ということは事実だ」ということは嘘であるとしたら「腑甲斐無いということは起きない」ということは成り立つ fact3: 素人っぽいということはぽくぽにゅLv.81事件が発生するということをもたらす fact4: 考え辛いということは「腑甲斐無いということおよびもやもちゃLv.80事件両方ともが発生する」ということに防がれる fact5: 腑甲斐無いということが生じる fact6: 腑甲斐無いということは発生しないということは「もやもちゃLv.80事件および素人っぽいということ両方ともが起こる」ということを生じさせる fact7: 素人っぽいということが生じる fact8: 素人っぽいということともやもちゃLv.80事件が起こる
fact8 -> int1: もやもちゃLv.80事件が起こる; int1 & fact5 -> int2: 腑甲斐無いということおよびもやもちゃLv.80事件が発生する; int2 & fact4 -> hypothesis;
fact8 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis;
ぽくぽにゅLv.81事件が起こる
$facts$ = fact1: ぽなぽやLv.59事件が起きるし更にぴにゃぴゆLv.80事件が起きる fact2: もしも「「離れ過ぎることは起こらないかもしくは考え辛いということは起こらないかもしくは両方だ」ということは事実だ」ということは嘘であるとしたら「腑甲斐無いということは起きない」ということは成り立つ fact3: 素人っぽいということはぽくぽにゅLv.81事件が発生するということをもたらす fact4: 考え辛いということは「腑甲斐無いということおよびもやもちゃLv.80事件両方ともが発生する」ということに防がれる fact5: 腑甲斐無いということが生じる fact6: 腑甲斐無いということは発生しないということは「もやもちゃLv.80事件および素人っぽいということ両方ともが起こる」ということを生じさせる fact7: 素人っぽいということが生じる fact8: 素人っぽいということともやもちゃLv.80事件が起こる ; $hypothesis$ = 考え辛いということが生じる ; $proof$ = 
fact8 -> int1: もやもちゃLv.80事件が起こる; int1 & fact5 -> int2: 腑甲斐無いということおよびもやもちゃLv.80事件が発生する; int2 & fact4 -> hypothesis; __DISPROVED__
fact8 -> int1: {B}; int1 & fact5 -> int2: ({C} & {B}); int2 & fact4 -> hypothesis; __DISPROVED__