注意深いということは起こらないということはみっともないということに防がれる
fact1: 仮に「ぴやぴやLv.3事件は起こらないが伝わり難いということが起こる」ということは誤っているとすれば注意深いということが起きる fact2: 「みっともないということが発生する」ということは本当だとすれば「「ぴやぴやLv.3事件が発生しないがしかし伝わり難いということは発生する」ということは確かでない」ということは事実だ
void -> assump1: 以下のように仮定する。みっともないということが起こる; fact2 & assump1 -> int1: 「ぴやぴやLv.3事件が発生しないし伝わり難いということは発生する」ということは成り立つということはない; int1 & fact1 -> int2: 注意深いということが起こる; [assump1] & int2 -> hypothesis;
void -> assump1: {A}; fact2 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact1 -> int2: {B}; [assump1] & int2 -> hypothesis;
$facts$ = fact1: 仮に「ぴやぴやLv.3事件は起こらないが伝わり難いということが起こる」ということは誤っているとすれば注意深いということが起きる fact2: 「みっともないということが発生する」ということは本当だとすれば「「ぴやぴやLv.3事件が発生しないがしかし伝わり難いということは発生する」ということは確かでない」ということは事実だ ; $hypothesis$ = 注意深いということは起こらないということはみっともないということに防がれる ; $proof$ = 
void -> assump1: 以下のように仮定する。みっともないということが起こる; fact2 & assump1 -> int1: 「ぴやぴやLv.3事件が発生しないし伝わり難いということは発生する」ということは成り立つということはない; int1 & fact1 -> int2: 注意深いということが起こる; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}; fact2 & assump1 -> int1: ¬(¬{AA} & {AB}); int1 & fact1 -> int2: {B}; [assump1] & int2 -> hypothesis; __PROVED__