ぴなぴなLv.53事件は生じない
fact1: 「人らしいということが発生するしまた鋭いということが起こる」ということは成り立つ fact2: 「ぴなぴなLv.53事件は起きない」ということは鋭いということと徒らっぽいということが生じるに誘発される fact3: 徒らっぽいということが生じる
fact1 -> int1: 鋭いということが起こる; int1 & fact3 -> int2: 鋭いということと徒らっぽいということが起きる; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis;
$facts$ = fact1: 「人らしいということが発生するしまた鋭いということが起こる」ということは成り立つ fact2: 「ぴなぴなLv.53事件は起きない」ということは鋭いということと徒らっぽいということが生じるに誘発される fact3: 徒らっぽいということが生じる ; $hypothesis$ = ぴなぴなLv.53事件は生じない ; $proof$ = 
fact1 -> int1: 鋭いということが起こる; int1 & fact3 -> int2: 鋭いということと徒らっぽいということが起きる; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact3 -> int2: ({B} & {C}); int2 & fact2 -> hypothesis; __PROVED__