ぷちょぷゆLv.20事件は生じない
fact1: もしも演算出来ることが起こるか貴方らしいということは起きないかもしくはどちらもであるとするともくもわLv.75事件が生じる fact2: 口汚いということおよび喋り難いということ両方ともが生じる fact3: 「ぷちょぷゆLv.20事件は起こらない」ということはもくもわLv.75事件に阻止される fact4: ぽくぽちゃLv.5事件と行為すること両方ともが生じる fact5: 口汚いということは生じないならばぷにゃぷちゅLv.5事件が起こるかまたは分解され難いということは起きない fact6: 喋り難いということは演算出来ることをもたらす
fact2 -> int1: 喋り難いということが生じる; int1 & fact6 -> int2: 演算出来ることが起きる; int2 -> int3: 演算出来ることが発生するかまたは貴方らしいということは起こらないかまたは両方ともだ; int3 & fact1 -> int4: もくもわLv.75事件が起きる; int4 & fact3 -> hypothesis;
fact2 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 -> int3: ({C} v ¬{D}); int3 & fact1 -> int4: {E}; int4 & fact3 -> hypothesis;
ぷにゃぷちゅLv.5事件が生じるかあるいは分解され難いということは発生しないか両方ともだ
$facts$ = fact1: もしも演算出来ることが起こるか貴方らしいということは起きないかもしくはどちらもであるとするともくもわLv.75事件が生じる fact2: 口汚いということおよび喋り難いということ両方ともが生じる fact3: 「ぷちょぷゆLv.20事件は起こらない」ということはもくもわLv.75事件に阻止される fact4: ぽくぽちゃLv.5事件と行為すること両方ともが生じる fact5: 口汚いということは生じないならばぷにゃぷちゅLv.5事件が起こるかまたは分解され難いということは起きない fact6: 喋り難いということは演算出来ることをもたらす ; $hypothesis$ = ぷちょぷゆLv.20事件は生じない ; $proof$ = 
fact2 -> int1: 喋り難いということが生じる; int1 & fact6 -> int2: 演算出来ることが起きる; int2 -> int3: 演算出来ることが発生するかまたは貴方らしいということは起こらないかまたは両方ともだ; int3 & fact1 -> int4: もくもわLv.75事件が起きる; int4 & fact3 -> hypothesis; __DISPROVED__
fact2 -> int1: {B}; int1 & fact6 -> int2: {C}; int2 -> int3: ({C} v ¬{D}); int3 & fact1 -> int4: {E}; int4 & fact3 -> hypothesis; __DISPROVED__