まわまにゅLv.20事件は発生しない
fact1: 仮に「ぷくぷくLv.41事件は起こらない」ということは間違っているということはないとすると「奪えることが生じるしまわまにゅLv.20事件は発生しない」ということは嘘である fact2: 雄々しいということが発生する fact3: 「ぽちゅぽにゃLv.90事件は発生しない」ということは「狡っ辛いということが起こる一方で加工することは生じない」ということがきっかけだ fact4: 「まわまにゅLv.20事件は起きなくて加えて狡っ辛いということは起きない」ということは狡っ辛いということは起きないということが原因だ fact5: 狡っ辛いということはぽちゅぽにゃLv.90事件かまたは「加工することが起こる」ということに防がれる fact6: 雄々しいということは「ぽちゅぽにゃLv.90事件は起こらない」ということを回避する
fact6 & fact2 -> int1: ぽちゅぽにゃLv.90事件が起こる; int1 -> int2: ぽちゅぽにゃLv.90事件が起こるか加工することが起こるかまたは両方ともだ; int2 & fact5 -> int3: 「狡っ辛いということは起こらない」ということは成り立つ; int3 & fact4 -> int4: まわまにゅLv.20事件は起こらなくて狡っ辛いということは生じない; int4 -> hypothesis;
fact6 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact5 -> int3: ¬{D}; int3 & fact4 -> int4: (¬{E} & ¬{D}); int4 -> hypothesis;
ぷえぷにゅLv.54事件が起こる
$facts$ = fact1: 仮に「ぷくぷくLv.41事件は起こらない」ということは間違っているということはないとすると「奪えることが生じるしまわまにゅLv.20事件は発生しない」ということは嘘である fact2: 雄々しいということが発生する fact3: 「ぽちゅぽにゃLv.90事件は発生しない」ということは「狡っ辛いということが起こる一方で加工することは生じない」ということがきっかけだ fact4: 「まわまにゅLv.20事件は起きなくて加えて狡っ辛いということは起きない」ということは狡っ辛いということは起きないということが原因だ fact5: 狡っ辛いということはぽちゅぽにゃLv.90事件かまたは「加工することが起こる」ということに防がれる fact6: 雄々しいということは「ぽちゅぽにゃLv.90事件は起こらない」ということを回避する ; $hypothesis$ = まわまにゅLv.20事件は発生しない ; $proof$ = 
fact6 & fact2 -> int1: ぽちゅぽにゃLv.90事件が起こる; int1 -> int2: ぽちゅぽにゃLv.90事件が起こるか加工することが起こるかまたは両方ともだ; int2 & fact5 -> int3: 「狡っ辛いということは起こらない」ということは成り立つ; int3 & fact4 -> int4: まわまにゅLv.20事件は起こらなくて狡っ辛いということは生じない; int4 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {B}; int1 -> int2: ({B} v {C}); int2 & fact5 -> int3: ¬{D}; int3 & fact4 -> int4: (¬{E} & ¬{D}); int4 -> hypothesis; __PROVED__