怖ーいということは起こらない
fact1: 「怖ーいということは発生しなくてさらにでかいということは発生しない」ということは「まなまくLv.4事件は起きない」ということに誘発される fact2: 掴み易いということは申し訳無いということが生じるということに起因する fact3: もし「怖ーいということおよび掴み易いということどちらもが起こる」ということは間違っているとすれば怖ーいということは起こらない fact4: みちょみゆLv.84事件は怖ーいということを誘発する fact5: もしもぷやぷにLv.87事件が起これば纏まり易いということが起きる fact6: 申し訳無いということが起こるしまたでかいということが生じる fact7: でかいということが生じる fact8: 広いということは起きないということはぽなぽなLv.52事件に阻まれる fact9: 「みちょみゆLv.84事件は起きない」ということは掴み易いということに防がれる
fact6 -> int1: 申し訳無いということが発生する; fact2 & int1 -> int2: 掴み易いということが発生する; int2 & fact9 -> int3: みちょみゆLv.84事件が起きる; int3 & fact4 -> hypothesis;
fact6 -> int1: {A}; fact2 & int1 -> int2: {B}; int2 & fact9 -> int3: {C}; int3 & fact4 -> hypothesis;
怖ーいということは起こらない
$facts$ = fact1: 「怖ーいということは発生しなくてさらにでかいということは発生しない」ということは「まなまくLv.4事件は起きない」ということに誘発される fact2: 掴み易いということは申し訳無いということが生じるということに起因する fact3: もし「怖ーいということおよび掴み易いということどちらもが起こる」ということは間違っているとすれば怖ーいということは起こらない fact4: みちょみゆLv.84事件は怖ーいということを誘発する fact5: もしもぷやぷにLv.87事件が起これば纏まり易いということが起きる fact6: 申し訳無いということが起こるしまたでかいということが生じる fact7: でかいということが生じる fact8: 広いということは起きないということはぽなぽなLv.52事件に阻まれる fact9: 「みちょみゆLv.84事件は起きない」ということは掴み易いということに防がれる ; $hypothesis$ = 怖ーいということは起こらない ; $proof$ = 
fact6 -> int1: 申し訳無いということが発生する; fact2 & int1 -> int2: 掴み易いということが発生する; int2 & fact9 -> int3: みちょみゆLv.84事件が起きる; int3 & fact4 -> hypothesis; __DISPROVED__
fact6 -> int1: {A}; fact2 & int1 -> int2: {B}; int2 & fact9 -> int3: {C}; int3 & fact4 -> hypothesis; __DISPROVED__