ぷにゃぷなLv.71事件は起こらない
fact1: 許し難いということは発生しないということは来難いということとぷゆぷにょLv.19事件が起きるのきっかけとなる fact2: もし仮に許し難いということが生じるとするとぷゆぷにょLv.19事件が生じなくて投げ終わることは発生しない fact3: ぷわぷやLv.34事件は起こらないということは輝かしということは起こらないということに阻止される fact4: 許し難いということは生じない fact5: 来難いということは投げ終わることをもたらす fact6: 辛いということはまわまよLv.54事件は起こらないということを阻止する fact7: ぷゆぷにょLv.19事件が起こらないとしたらぷにゃぷなLv.71事件は起きないし来難いということは発生しない fact8: ぷにゃぷなLv.71事件は発生しないということは投げ終わることに阻止される
fact1 & fact4 -> int1: 来難いということおよびぷゆぷにょLv.19事件両方が起きる; int1 -> int2: 来難いということが生じる; int2 & fact5 -> int3: 投げ終わることが起きる; int3 & fact8 -> hypothesis;
fact1 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact5 -> int3: {C}; int3 & fact8 -> hypothesis;
ぷにゃぷなLv.71事件は起こらない
$facts$ = fact1: 許し難いということは発生しないということは来難いということとぷゆぷにょLv.19事件が起きるのきっかけとなる fact2: もし仮に許し難いということが生じるとするとぷゆぷにょLv.19事件が生じなくて投げ終わることは発生しない fact3: ぷわぷやLv.34事件は起こらないということは輝かしということは起こらないということに阻止される fact4: 許し難いということは生じない fact5: 来難いということは投げ終わることをもたらす fact6: 辛いということはまわまよLv.54事件は起こらないということを阻止する fact7: ぷゆぷにょLv.19事件が起こらないとしたらぷにゃぷなLv.71事件は起きないし来難いということは発生しない fact8: ぷにゃぷなLv.71事件は発生しないということは投げ終わることに阻止される ; $hypothesis$ = ぷにゃぷなLv.71事件は起こらない ; $proof$ = 
fact1 & fact4 -> int1: 来難いということおよびぷゆぷにょLv.19事件両方が起きる; int1 -> int2: 来難いということが生じる; int2 & fact5 -> int3: 投げ終わることが起きる; int3 & fact8 -> hypothesis; __DISPROVED__
fact1 & fact4 -> int1: ({A} & {B}); int1 -> int2: {A}; int2 & fact5 -> int3: {C}; int3 & fact8 -> hypothesis; __DISPROVED__