生易しいということが生じる
fact1: 恐ろしいということが起きる fact2: 「みちゃみねLv.84事件が起こる」ということは嘘でない fact3: もし恐ろしいということは起きないとしたら生易しいということおよびみちゃみねLv.84事件が発生する fact4: もし仮に「エロいということが生じる」ということは事実なら恐ろしいということではなく確定出来ることが発生する fact5: 生易しいということが生じるということは「みちゃみねLv.84事件と恐ろしいということ両方ともが発生する」ということに防がれる
fact2 & fact1 -> int1: みちゃみねLv.84事件と恐ろしいということが生じる; int1 & fact5 -> hypothesis;
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact5 -> hypothesis;
生易しいということが生じる
$facts$ = fact1: 恐ろしいということが起きる fact2: 「みちゃみねLv.84事件が起こる」ということは嘘でない fact3: もし恐ろしいということは起きないとしたら生易しいということおよびみちゃみねLv.84事件が発生する fact4: もし仮に「エロいということが生じる」ということは事実なら恐ろしいということではなく確定出来ることが発生する fact5: 生易しいということが生じるということは「みちゃみねLv.84事件と恐ろしいということ両方ともが発生する」ということに防がれる ; $hypothesis$ = 生易しいということが生じる ; $proof$ = 
fact2 & fact1 -> int1: みちゃみねLv.84事件と恐ろしいということが生じる; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 & fact1 -> int1: ({A} & {B}); int1 & fact5 -> hypothesis; __DISPROVED__