「まよまのLv.93事件ではなくぴよぴにゅLv.72事件が生じる」ということは成り立たない
fact1: 仮にぴゆぴにLv.92事件は起こらないとしたら「「過不足無いということが起きるけど物欲しいということは発生しない」ということは間違いだ」ということは事実だ fact2: 物欲しいということが起こる fact3: みよみゆLv.57事件が発生するということは「まにゅまにゅLv.75事件は発生しない」ということを防ぐ fact4: ぴよぴにゅLv.72事件が生じる fact5: もしも御宜しいということは発生しないとすると「まよまのLv.93事件ではなくぴよぴにゅLv.72事件が生じる」ということは成り立たない fact6: 色好いということは切れ易いということをもたらす fact7: 「御宜しいということが発生する」ということは正しい fact8: 御宜しいということはみよみゆLv.57事件は起こらないということを回避する fact9: 仮に物欲しいということが起こるしおまけにまにゅまにゅLv.75事件が起こるとしたら「まよまのLv.93事件は発生しない」ということは事実である
fact8 & fact7 -> int1: みよみゆLv.57事件が生じる; int1 & fact3 -> int2: まにゅまにゅLv.75事件が起こる; int2 & fact2 -> int3: 物欲しいということとまにゅまにゅLv.75事件どちらもが生じる; int3 & fact9 -> int4: 「まよまのLv.93事件は起きない」ということは事実と異ならない; int4 & fact4 -> hypothesis;
fact8 & fact7 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact2 -> int3: ({D} & {C}); int3 & fact9 -> int4: ¬{E}; int4 & fact4 -> hypothesis;
「まよまのLv.93事件ではなくぴよぴにゅLv.72事件が生じる」ということは成り立たない
$facts$ = fact1: 仮にぴゆぴにLv.92事件は起こらないとしたら「「過不足無いということが起きるけど物欲しいということは発生しない」ということは間違いだ」ということは事実だ fact2: 物欲しいということが起こる fact3: みよみゆLv.57事件が発生するということは「まにゅまにゅLv.75事件は発生しない」ということを防ぐ fact4: ぴよぴにゅLv.72事件が生じる fact5: もしも御宜しいということは発生しないとすると「まよまのLv.93事件ではなくぴよぴにゅLv.72事件が生じる」ということは成り立たない fact6: 色好いということは切れ易いということをもたらす fact7: 「御宜しいということが発生する」ということは正しい fact8: 御宜しいということはみよみゆLv.57事件は起こらないということを回避する fact9: 仮に物欲しいということが起こるしおまけにまにゅまにゅLv.75事件が起こるとしたら「まよまのLv.93事件は発生しない」ということは事実である ; $hypothesis$ = 「まよまのLv.93事件ではなくぴよぴにゅLv.72事件が生じる」ということは成り立たない ; $proof$ = 
fact8 & fact7 -> int1: みよみゆLv.57事件が生じる; int1 & fact3 -> int2: まにゅまにゅLv.75事件が起こる; int2 & fact2 -> int3: 物欲しいということとまにゅまにゅLv.75事件どちらもが生じる; int3 & fact9 -> int4: 「まよまのLv.93事件は起きない」ということは事実と異ならない; int4 & fact4 -> hypothesis; __DISPROVED__
fact8 & fact7 -> int1: {B}; int1 & fact3 -> int2: {C}; int2 & fact2 -> int3: ({D} & {C}); int3 & fact9 -> int4: ¬{E}; int4 & fact4 -> hypothesis; __DISPROVED__