「ぴのぴちゅLv.25事件が発生するか連れ込むことが起こるかあるいは両方ともだ」ということは誤っている
fact1: 「歯痒いということが起きる」ということは本当である fact2: 歯痒いということは「ぽいぽちゃLv.42事件は発生しない」ということを阻む fact3: ぽいぽちゃLv.42事件はぴのぴちゅLv.25事件をもたらす
fact2 & fact1 -> int1: ぽいぽちゃLv.42事件が起こる; int1 & fact3 -> int2: ぴのぴちゅLv.25事件が起こる; int2 -> hypothesis;
fact2 & fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> hypothesis;
$facts$ = fact1: 「歯痒いということが起きる」ということは本当である fact2: 歯痒いということは「ぽいぽちゃLv.42事件は発生しない」ということを阻む fact3: ぽいぽちゃLv.42事件はぴのぴちゅLv.25事件をもたらす ; $hypothesis$ = 「ぴのぴちゅLv.25事件が発生するか連れ込むことが起こるかあるいは両方ともだ」ということは誤っている ; $proof$ = 
fact2 & fact1 -> int1: ぽいぽちゃLv.42事件が起こる; int1 & fact3 -> int2: ぴのぴちゅLv.25事件が起こる; int2 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 -> hypothesis; __DISPROVED__