「性分らしいということが起きるけれどみわみなLv.22事件は発生しない」ということは成り立つということはない
fact1: ぴちゃぴゆLv.65事件と本当らしいということが起きる fact2: もしも「本当らしいということが起きる」ということは本当であるとすると「性分らしいということは発生するしみわみなLv.22事件は起きない」ということは事実でない
fact1 -> int1: 本当らしいということが起きる; int1 & fact2 -> hypothesis;
fact1 -> int1: {B}; int1 & fact2 -> hypothesis;
$facts$ = fact1: ぴちゃぴゆLv.65事件と本当らしいということが起きる fact2: もしも「本当らしいということが起きる」ということは本当であるとすると「性分らしいということは発生するしみわみなLv.22事件は起きない」ということは事実でない ; $hypothesis$ = 「性分らしいということが起きるけれどみわみなLv.22事件は発生しない」ということは成り立つということはない ; $proof$ = 
fact1 -> int1: 本当らしいということが起きる; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}; int1 & fact2 -> hypothesis; __PROVED__