もゆもえLv.69事件が生じる
fact1: もしもださいということおよび言い知れること両方ともが発生するならもゆもえLv.69事件は生じない fact2: もしも苦いということは起こらないなら「「もちょもなLv.38事件が発生しないしぴなぴにゃLv.53事件は発生しない」ということは間違いである」ということは正しい fact3: もしもちょもなLv.38事件は発生しないならばしがないということおよび言い知れることが起きる fact4: ぽいぽくLv.89事件とぴやぴえLv.2事件両方が起きる fact5: 言い知れることは起きないということは「もゆもえLv.69事件としがないということ両方が生じる」ということの原因となる fact6: ださいということが起きる fact7: もしも「言い知れることとしがないということが起きる」ということは嘘であるとすれば失せることは生じない fact8: もし「もちょもなLv.38事件が発生しなくてぴなぴにゃLv.53事件は生じない」ということは偽であるならばもちょもなLv.38事件が発生する fact9: もちょもなLv.38事件は起きない
fact3 & fact9 -> int1: 「しがないということが起きるし言い知れることが生じる」ということは成り立つ; int1 -> int2: 言い知れることが起こる; int2 & fact6 -> int3: ださいということおよび言い知れること両方が起こる; int3 & fact1 -> hypothesis;
fact3 & fact9 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: ({C} & {B}); int3 & fact1 -> hypothesis;
失せることは起こらない
$facts$ = fact1: もしもださいということおよび言い知れること両方ともが発生するならもゆもえLv.69事件は生じない fact2: もしも苦いということは起こらないなら「「もちょもなLv.38事件が発生しないしぴなぴにゃLv.53事件は発生しない」ということは間違いである」ということは正しい fact3: もしもちょもなLv.38事件は発生しないならばしがないということおよび言い知れることが起きる fact4: ぽいぽくLv.89事件とぴやぴえLv.2事件両方が起きる fact5: 言い知れることは起きないということは「もゆもえLv.69事件としがないということ両方が生じる」ということの原因となる fact6: ださいということが起きる fact7: もしも「言い知れることとしがないということが起きる」ということは嘘であるとすれば失せることは生じない fact8: もし「もちょもなLv.38事件が発生しなくてぴなぴにゃLv.53事件は生じない」ということは偽であるならばもちょもなLv.38事件が発生する fact9: もちょもなLv.38事件は起きない ; $hypothesis$ = もゆもえLv.69事件が生じる ; $proof$ = 
fact3 & fact9 -> int1: 「しがないということが起きるし言い知れることが生じる」ということは成り立つ; int1 -> int2: 言い知れることが起こる; int2 & fact6 -> int3: ださいということおよび言い知れること両方が起こる; int3 & fact1 -> hypothesis; __DISPROVED__
fact3 & fact9 -> int1: ({A} & {B}); int1 -> int2: {B}; int2 & fact6 -> int3: ({C} & {B}); int3 & fact1 -> hypothesis; __DISPROVED__