ぴちゅぴにLv.19事件は生じない
fact1: もしもぽくぽよLv.42事件が発生しないとしたらぴちゅぴにLv.19事件が生じなくてかつ入居出来ることは発生しない fact2: 仮に「生温いということは起こらないがしかしぽやぽちゅLv.13事件が発生する」ということは成り立たないならばぽくぽよLv.42事件が起きる fact3: 「生温いということではなくぽやぽちゅLv.13事件が起きる」ということは事実と異なる fact4: 「ぴちゅぴにLv.19事件は起きない」ということは「入居出来ることが起こる」ということに防がれる fact5: 「入居出来ることは発生しない」ということはぽくぽよLv.42事件に阻止される
fact2 & fact3 -> int1: ぽくぽよLv.42事件が発生する; int1 & fact5 -> int2: 入居出来ることが生じる; int2 & fact4 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 & fact5 -> int2: {A}; int2 & fact4 -> hypothesis;
ぴちゅぴにLv.19事件は生じない
$facts$ = fact1: もしもぽくぽよLv.42事件が発生しないとしたらぴちゅぴにLv.19事件が生じなくてかつ入居出来ることは発生しない fact2: 仮に「生温いということは起こらないがしかしぽやぽちゅLv.13事件が発生する」ということは成り立たないならばぽくぽよLv.42事件が起きる fact3: 「生温いということではなくぽやぽちゅLv.13事件が起きる」ということは事実と異なる fact4: 「ぴちゅぴにLv.19事件は起きない」ということは「入居出来ることが起こる」ということに防がれる fact5: 「入居出来ることは発生しない」ということはぽくぽよLv.42事件に阻止される ; $hypothesis$ = ぴちゅぴにLv.19事件は生じない ; $proof$ = 
fact2 & fact3 -> int1: ぽくぽよLv.42事件が発生する; int1 & fact5 -> int2: 入居出来ることが生じる; int2 & fact4 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}; int1 & fact5 -> int2: {A}; int2 & fact4 -> hypothesis; __DISPROVED__