まちょまいLv.30事件が発生するしおまけにぷねぷゆLv.16事件が生じる
fact1: 「仮にみにょみにょLv.76事件は生じないならば「まちょまいLv.30事件が発生するしぷねぷゆLv.16事件が起こる」ということは成り立つということはない」ということは本当である fact2: 「ぷねぷゆLv.16事件が発生する」ということは嘘だということはない fact3: もし仮に置き易いということが起きるとすれば「まちゃまわLv.2事件が発生する一方で罹り易いということは発生しない」ということは間違いである fact4: 「追及出来ることが生じるしさらにまわまちゃLv.34事件が発生する」ということは成り立たない fact5: もしもみにょみにょLv.76事件が発生するとすると「追及出来ることが生じるがしかしまわまちゃLv.34事件は発生しない」ということは間違いだ fact6: もし「追及出来ることは発生するがまわまちゃLv.34事件は起きない」ということは嘘だとすればまちょまいLv.30事件が発生する fact7: みにょみにょLv.76事件が生じる
fact5 & fact7 -> int1: 「追及出来ることが起きるがしかしまわまちゃLv.34事件は起きない」ということは成り立たない; int1 & fact6 -> int2: まちょまいLv.30事件が起こる; int2 & fact2 -> hypothesis;
fact5 & fact7 -> int1: ¬({AA} & ¬{AB}); int1 & fact6 -> int2: {B}; int2 & fact2 -> hypothesis;
「まちょまいLv.30事件およびぷねぷゆLv.16事件両方ともが発生する」ということは誤っている
$facts$ = fact1: 「仮にみにょみにょLv.76事件は生じないならば「まちょまいLv.30事件が発生するしぷねぷゆLv.16事件が起こる」ということは成り立つということはない」ということは本当である fact2: 「ぷねぷゆLv.16事件が発生する」ということは嘘だということはない fact3: もし仮に置き易いということが起きるとすれば「まちゃまわLv.2事件が発生する一方で罹り易いということは発生しない」ということは間違いである fact4: 「追及出来ることが生じるしさらにまわまちゃLv.34事件が発生する」ということは成り立たない fact5: もしもみにょみにょLv.76事件が発生するとすると「追及出来ることが生じるがしかしまわまちゃLv.34事件は発生しない」ということは間違いだ fact6: もし「追及出来ることは発生するがまわまちゃLv.34事件は起きない」ということは嘘だとすればまちょまいLv.30事件が発生する fact7: みにょみにょLv.76事件が生じる ; $hypothesis$ = まちょまいLv.30事件が発生するしおまけにぷねぷゆLv.16事件が生じる ; $proof$ = 
fact5 & fact7 -> int1: 「追及出来ることが起きるがしかしまわまちゃLv.34事件は起きない」ということは成り立たない; int1 & fact6 -> int2: まちょまいLv.30事件が起こる; int2 & fact2 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: ¬({AA} & ¬{AB}); int1 & fact6 -> int2: {B}; int2 & fact2 -> hypothesis; __PROVED__