所らしいということは発生しない
fact1: 証言することが起きる fact2: 「しっとりすることが起きる」ということは成り立つ fact3: ぽゆぽよLv.43事件としっとりすることが生じるは「所らしいということは発生しない」ということを発生させる fact4: 証言することは発生するしかつぽゆぽよLv.43事件は発生する
fact4 -> int1: ぽゆぽよLv.43事件が発生する; int1 & fact2 -> int2: ぽゆぽよLv.43事件としっとりすることが起こる; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 証言することが起きる fact2: 「しっとりすることが起きる」ということは成り立つ fact3: ぽゆぽよLv.43事件としっとりすることが生じるは「所らしいということは発生しない」ということを発生させる fact4: 証言することは発生するしかつぽゆぽよLv.43事件は発生する ; $hypothesis$ = 所らしいということは発生しない ; $proof$ = 
fact4 -> int1: ぽゆぽよLv.43事件が発生する; int1 & fact2 -> int2: ぽゆぽよLv.43事件としっとりすることが起こる; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}; int1 & fact2 -> int2: ({B} & {C}); int2 & fact3 -> hypothesis; __PROVED__