「まにょまちゃLv.53事件が起きるかあるいはもどかしいということが発生するかどちらもだ」ということは成り立たない
fact1: まにょまちゃLv.53事件が起きる fact2: 仮に「もどかしいということおよび流れ易いということが発生する」ということは成り立たないとすればもどかしいということは生じない
fact1 -> int1: まにょまちゃLv.53事件が起きる; int1 -> hypothesis;
fact1 -> int1: {A}; int1 -> hypothesis;
「みにょみにょLv.99事件が生じる」ということは成り立つ
$facts$ = fact1: まにょまちゃLv.53事件が起きる fact2: 仮に「もどかしいということおよび流れ易いということが発生する」ということは成り立たないとすればもどかしいということは生じない ; $hypothesis$ = 「まにょまちゃLv.53事件が起きるかあるいはもどかしいということが発生するかどちらもだ」ということは成り立たない ; $proof$ = 
fact1 -> int1: まにょまちゃLv.53事件が起きる; int1 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}; int1 -> hypothesis; __DISPROVED__