「投げ打つことは起こらない」ということは成り立つ
fact1: 投げ打つこととぴのぴねLv.19事件が生じるは「ぴえぴなLv.56事件は起こらない」ということを招く fact2: ぴのぴねLv.19事件が起きる
void -> assump1: 以下のように仮定する。「投げ打つことが発生する」ということは確かだ; assump1 & fact2 -> int1: 投げ打つこととぴのぴねLv.19事件が起きる; int1 & fact1 -> int2: ぴえぴなLv.56事件は起こらない;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C};
$facts$ = fact1: 投げ打つこととぴのぴねLv.19事件が生じるは「ぴえぴなLv.56事件は起こらない」ということを招く fact2: ぴのぴねLv.19事件が起きる ; $hypothesis$ = 「投げ打つことは起こらない」ということは成り立つ ; $proof$ = 
__UNKNOWN__
__UNKNOWN__