「眠いということは発生しないしおまけにものもちゅLv.86事件は起きない」ということは成り立つということはない
fact1: ものもちゅLv.86事件は発生しない fact2: 仮に「ぷえぷよLv.53事件は生じないかまたは抜け易いということは発生しないかまたは両方だ」ということは偽だとすればぷちゅぷちょLv.15事件は起こらない fact3: 思い易いということはぴよぴえLv.17事件を引き起こす fact4: ぷちゅぷちょLv.15事件が起きる fact5: ぷちゅぷちょLv.15事件は生じないとすると「もにもにゅLv.57事件ではなくてぴよぴえLv.17事件が発生する」ということは成り立たない fact6: 思い易いということが起こる fact7: ぴよぴえLv.17事件がもにもにゅLv.57事件は発生するということをもたらす fact8: もしももにもにゅLv.57事件およびぷちゅぷちょLv.15事件が起こるなら眠いということは発生しない fact9: 思い易いということは起こらないとしたら「眠いということは生じないしものもちゅLv.86事件は生じない」ということは偽である
fact3 & fact6 -> int1: 「ぴよぴえLv.17事件が起こる」ということは正しい; int1 & fact7 -> int2: もにもにゅLv.57事件が起きる; int2 & fact4 -> int3: もにもにゅLv.57事件が生じるしかつぷちゅぷちょLv.15事件が起きる; int3 & fact8 -> int4: 眠いということは起きない; int4 & fact1 -> hypothesis;
fact3 & fact6 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact8 -> int4: ¬{E}; int4 & fact1 -> hypothesis;
「眠いということは発生しないしおまけにものもちゅLv.86事件は起きない」ということは成り立つということはない
$facts$ = fact1: ものもちゅLv.86事件は発生しない fact2: 仮に「ぷえぷよLv.53事件は生じないかまたは抜け易いということは発生しないかまたは両方だ」ということは偽だとすればぷちゅぷちょLv.15事件は起こらない fact3: 思い易いということはぴよぴえLv.17事件を引き起こす fact4: ぷちゅぷちょLv.15事件が起きる fact5: ぷちゅぷちょLv.15事件は生じないとすると「もにもにゅLv.57事件ではなくてぴよぴえLv.17事件が発生する」ということは成り立たない fact6: 思い易いということが起こる fact7: ぴよぴえLv.17事件がもにもにゅLv.57事件は発生するということをもたらす fact8: もしももにもにゅLv.57事件およびぷちゅぷちょLv.15事件が起こるなら眠いということは発生しない fact9: 思い易いということは起こらないとしたら「眠いということは生じないしものもちゅLv.86事件は生じない」ということは偽である ; $hypothesis$ = 「眠いということは発生しないしおまけにものもちゅLv.86事件は起きない」ということは成り立つということはない ; $proof$ = 
fact3 & fact6 -> int1: 「ぴよぴえLv.17事件が起こる」ということは正しい; int1 & fact7 -> int2: もにもにゅLv.57事件が起きる; int2 & fact4 -> int3: もにもにゅLv.57事件が生じるしかつぷちゅぷちょLv.15事件が起きる; int3 & fact8 -> int4: 眠いということは起きない; int4 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact6 -> int1: {B}; int1 & fact7 -> int2: {C}; int2 & fact4 -> int3: ({C} & {D}); int3 & fact8 -> int4: ¬{E}; int4 & fact1 -> hypothesis; __DISPROVED__