「ぷのぷやLv.64事件が発生する」ということは正しい
fact1: ぽえぽやLv.33事件とぷよぷねLv.9事件両方が起きる fact2: ぽよぽえLv.5事件が起こる fact3: ぷねぷえLv.95事件が起こる fact4: もしもぽえぽやLv.33事件が起こるしまなまにゅLv.33事件が発生すればぷのぷやLv.64事件は起きない fact5: まなまにゅLv.33事件が起こる fact6: 踏み止まることが生じるし更に観光客らしいということが起こる fact7: 仮に「ぷよぷねLv.9事件は生じない」ということは真実ならばぽえぽやLv.33事件とぷのぷやLv.64事件どちらもが起きる
fact1 -> int1: ぽえぽやLv.33事件が生じる; int1 & fact5 -> int2: ぽえぽやLv.33事件が発生するしまなまにゅLv.33事件が起こる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
「ぷのぷやLv.64事件が発生する」ということは正しい
$facts$ = fact1: ぽえぽやLv.33事件とぷよぷねLv.9事件両方が起きる fact2: ぽよぽえLv.5事件が起こる fact3: ぷねぷえLv.95事件が起こる fact4: もしもぽえぽやLv.33事件が起こるしまなまにゅLv.33事件が発生すればぷのぷやLv.64事件は起きない fact5: まなまにゅLv.33事件が起こる fact6: 踏み止まることが生じるし更に観光客らしいということが起こる fact7: 仮に「ぷよぷねLv.9事件は生じない」ということは真実ならばぽえぽやLv.33事件とぷのぷやLv.64事件どちらもが起きる ; $hypothesis$ = 「ぷのぷやLv.64事件が発生する」ということは正しい ; $proof$ = 
fact1 -> int1: ぽえぽやLv.33事件が生じる; int1 & fact5 -> int2: ぽえぽやLv.33事件が発生するしまなまにゅLv.33事件が起こる; int2 & fact4 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 & fact5 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __DISPROVED__