「もどかしいということは起きなくてぽやぽなLv.95事件は発生しない」ということは間違いだ
fact1: 「もどかしいということは生じない」ということは「ぽにゃぽわLv.7事件が起きるかまちゃまにょLv.35事件が発生するかあるいは両方ともだ」ということにより生じる fact2: ぽやぽなLv.95事件は発生しない fact3: 「ぽにゃぽわLv.7事件が生じる」ということはもどかしいということを阻む fact4: まゆまやLv.47事件が発生するしまちゃまにょLv.35事件が起こる
fact4 -> int1: まちゃまにょLv.35事件が生じる; int1 -> int2: ぽにゃぽわLv.7事件が発生するかまたはまちゃまにょLv.35事件が生じるかもしくはどちらもである; int2 & fact1 -> int3: もどかしいということは起こらない; int3 & fact2 -> hypothesis;
fact4 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact1 -> int3: ¬{C}; int3 & fact2 -> hypothesis;
$facts$ = fact1: 「もどかしいということは生じない」ということは「ぽにゃぽわLv.7事件が起きるかまちゃまにょLv.35事件が発生するかあるいは両方ともだ」ということにより生じる fact2: ぽやぽなLv.95事件は発生しない fact3: 「ぽにゃぽわLv.7事件が生じる」ということはもどかしいということを阻む fact4: まゆまやLv.47事件が発生するしまちゃまにょLv.35事件が起こる ; $hypothesis$ = 「もどかしいということは起きなくてぽやぽなLv.95事件は発生しない」ということは間違いだ ; $proof$ = 
fact4 -> int1: まちゃまにょLv.35事件が生じる; int1 -> int2: ぽにゃぽわLv.7事件が発生するかまたはまちゃまにょLv.35事件が生じるかもしくはどちらもである; int2 & fact1 -> int3: もどかしいということは起こらない; int3 & fact2 -> hypothesis; __DISPROVED__
fact4 -> int1: {B}; int1 -> int2: ({A} v {B}); int2 & fact1 -> int3: ¬{C}; int3 & fact2 -> hypothesis; __DISPROVED__