「ぽやぽよLv.63事件が起こるしさらに仕事らしいということが生じる」ということは本当でない
fact1: 送り付けることおよび観光客らしいということ両方が起こる fact2: みにみよLv.26事件が起きるしおまけにみいみにゃLv.93事件が起こる fact3: ねちっこいということが生じる fact4: ぽやぽよLv.63事件は起きないということはねちっこいということに防がれる fact5: ぴちょぴやLv.36事件が生じる fact6: もくもちょLv.84事件が発生するしかつ直ることは発生する fact7: 仮にねちっこいということは発生しないとすれば「ぽやぽよLv.63事件および仕事らしいということが発生する」ということは成り立たない fact8: 仕事らしいということが起こる
fact4 & fact3 -> int1: ぽやぽよLv.63事件が生じる; int1 & fact8 -> hypothesis;
fact4 & fact3 -> int1: {B}; int1 & fact8 -> hypothesis;
「ぽやぽよLv.63事件が起こるしさらに仕事らしいということが生じる」ということは本当でない
$facts$ = fact1: 送り付けることおよび観光客らしいということ両方が起こる fact2: みにみよLv.26事件が起きるしおまけにみいみにゃLv.93事件が起こる fact3: ねちっこいということが生じる fact4: ぽやぽよLv.63事件は起きないということはねちっこいということに防がれる fact5: ぴちょぴやLv.36事件が生じる fact6: もくもちょLv.84事件が発生するしかつ直ることは発生する fact7: 仮にねちっこいということは発生しないとすれば「ぽやぽよLv.63事件および仕事らしいということが発生する」ということは成り立たない fact8: 仕事らしいということが起こる ; $hypothesis$ = 「ぽやぽよLv.63事件が起こるしさらに仕事らしいということが生じる」ということは本当でない ; $proof$ = 
fact4 & fact3 -> int1: ぽやぽよLv.63事件が生じる; int1 & fact8 -> hypothesis; __DISPROVED__
fact4 & fact3 -> int1: {B}; int1 & fact8 -> hypothesis; __DISPROVED__