「凄まじいということはぽにゃぽちょLv.70事件の原因となる」ということは成り立たない
fact1: 「凄まじいということが発生する」ということは「伸ばし掛けることは起こらない」ということを阻む fact2: 「御めでたいということおよび凄まじいということが発生する」ということは「伸ばし掛けることは発生しない」ということにより発生する fact3: 「ぽにゃぽちょLv.70事件が起こるがしかし伸ばし掛けることは起きない」ということは稼働することがきっかけだ fact4: 「ぽにゃぽちょLv.70事件は伸ばし掛けることに誘発される」ということは本当である
void -> assump1: 以下のように仮定する。凄まじいということが起きる; fact1 & assump1 -> int1: 伸ばし掛けることが生じる; int1 & fact4 -> int2: ぽにゃぽちょLv.70事件が起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; [assump1] & int2 -> hypothesis;
御めでたいということが生じる
$facts$ = fact1: 「凄まじいということが発生する」ということは「伸ばし掛けることは起こらない」ということを阻む fact2: 「御めでたいということおよび凄まじいということが発生する」ということは「伸ばし掛けることは発生しない」ということにより発生する fact3: 「ぽにゃぽちょLv.70事件が起こるがしかし伸ばし掛けることは起きない」ということは稼働することがきっかけだ fact4: 「ぽにゃぽちょLv.70事件は伸ばし掛けることに誘発される」ということは本当である ; $hypothesis$ = 「凄まじいということはぽにゃぽちょLv.70事件の原因となる」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。凄まじいということが起きる; fact1 & assump1 -> int1: 伸ばし掛けることが生じる; int1 & fact4 -> int2: ぽにゃぽちょLv.70事件が起こる; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}; fact1 & assump1 -> int1: {B}; int1 & fact4 -> int2: {C}; [assump1] & int2 -> hypothesis; __DISPROVED__