もちょもねLv.8事件は起こらない
fact1: 青黒いということと清いということ両方ともが生じる fact2: もしも「憎たらしいということは生じない」ということは確かであるとしたらもちょもねLv.8事件とみえみやLv.49事件どちらもが発生する fact3: 仮に憎たらしいということは起きないとするとみえみやLv.49事件およびもちょもねLv.8事件両方が生じる fact4: 憎たらしいということが生じる fact5: もちょもねLv.8事件が起こらないということはみえみやLv.49事件と痒いということは発生するにもたらされる fact6: 痒いということが起きる fact7: みえみやLv.49事件および憎たらしいということが起きる
fact7 -> int1: みえみやLv.49事件が発生する; int1 & fact6 -> int2: みえみやLv.49事件と痒いということが生じる; int2 & fact5 -> hypothesis;
fact7 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact5 -> hypothesis;
もちょもねLv.8事件が発生する
$facts$ = fact1: 青黒いということと清いということ両方ともが生じる fact2: もしも「憎たらしいということは生じない」ということは確かであるとしたらもちょもねLv.8事件とみえみやLv.49事件どちらもが発生する fact3: 仮に憎たらしいということは起きないとするとみえみやLv.49事件およびもちょもねLv.8事件両方が生じる fact4: 憎たらしいということが生じる fact5: もちょもねLv.8事件が起こらないということはみえみやLv.49事件と痒いということは発生するにもたらされる fact6: 痒いということが起きる fact7: みえみやLv.49事件および憎たらしいということが起きる ; $hypothesis$ = もちょもねLv.8事件は起こらない ; $proof$ = 
fact7 -> int1: みえみやLv.49事件が発生する; int1 & fact6 -> int2: みえみやLv.49事件と痒いということが生じる; int2 & fact5 -> hypothesis; __PROVED__
fact7 -> int1: {A}; int1 & fact6 -> int2: ({A} & {C}); int2 & fact5 -> hypothesis; __PROVED__