「血腥いということが起きる」ということは成り立つ
fact1: 「ぴにょぴにゃLv.42事件が起こるか懐こいということが生じるかあるいはどちらもである」ということは血腥いということを防ぐ fact2: 手早いということが起きるということは「ぴにょぴにゃLv.42事件は起こらない」ということを回避する fact3: 手早いということが生じる
fact2 & fact3 -> int1: ぴにょぴにゃLv.42事件が起こる; int1 -> int2: ぴにょぴにゃLv.42事件が生じるか懐こいということが起こる; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact1 -> hypothesis;
$facts$ = fact1: 「ぴにょぴにゃLv.42事件が起こるか懐こいということが生じるかあるいはどちらもである」ということは血腥いということを防ぐ fact2: 手早いということが起きるということは「ぴにょぴにゃLv.42事件は起こらない」ということを回避する fact3: 手早いということが生じる ; $hypothesis$ = 「血腥いということが起きる」ということは成り立つ ; $proof$ = 
fact2 & fact3 -> int1: ぴにょぴにゃLv.42事件が起こる; int1 -> int2: ぴにょぴにゃLv.42事件が生じるか懐こいということが起こる; int2 & fact1 -> hypothesis; __DISPROVED__
fact2 & fact3 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact1 -> hypothesis; __DISPROVED__