すっごーいということは発生しない
fact1: しんどいということが発生するしそれにみにゅみわLv.93事件が起きる fact2: 「みにゅみわLv.93事件は生じない」ということは成り立つとしたら舞い上がることが発生するしまたしんどいということが起きる fact3: 事らしいということが起きる fact4: もししんどいということが発生するしおまけに事らしいということが起きるとしたらすっごーいということは発生しない
fact1 -> int1: しんどいということが起こる; int1 & fact3 -> int2: しんどいということおよび事らしいということ両方ともが起きる; int2 & fact4 -> hypothesis;
fact1 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis;
しぶといということが発生するし舞い上がることが生じる
$facts$ = fact1: しんどいということが発生するしそれにみにゅみわLv.93事件が起きる fact2: 「みにゅみわLv.93事件は生じない」ということは成り立つとしたら舞い上がることが発生するしまたしんどいということが起きる fact3: 事らしいということが起きる fact4: もししんどいということが発生するしおまけに事らしいということが起きるとしたらすっごーいということは発生しない ; $hypothesis$ = すっごーいということは発生しない ; $proof$ = 
fact1 -> int1: しんどいということが起こる; int1 & fact3 -> int2: しんどいということおよび事らしいということ両方ともが起きる; int2 & fact4 -> hypothesis; __PROVED__
fact1 -> int1: {A}; int1 & fact3 -> int2: ({A} & {C}); int2 & fact4 -> hypothesis; __PROVED__