「ぴえぴちゃLv.46事件は発生しない」ということは正しい
fact1: 「もしもぴえぴちゃLv.46事件および熱苦しいということどちらもが生じれば「酸化し難いということは生じない」ということは成り立つ」ということは正しい fact2: 熱苦しいということが生じる fact3: 酸化し難いということが起きる fact4: 汚らわしいということは起きない
void -> assump1: 以下のように仮定する。ぴえぴちゃLv.46事件が起きる; assump1 & fact2 -> int1: ぴえぴちゃLv.46事件および熱苦しいということ両方が発生する; int1 & fact1 -> int2: 酸化し難いということは発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: 「もしもぴえぴちゃLv.46事件および熱苦しいということどちらもが生じれば「酸化し難いということは生じない」ということは成り立つ」ということは正しい fact2: 熱苦しいということが生じる fact3: 酸化し難いということが起きる fact4: 汚らわしいということは起きない ; $hypothesis$ = 「ぴえぴちゃLv.46事件は発生しない」ということは正しい ; $proof$ = 
void -> assump1: 以下のように仮定する。ぴえぴちゃLv.46事件が起きる; assump1 & fact2 -> int1: ぴえぴちゃLv.46事件および熱苦しいということ両方が発生する; int1 & fact1 -> int2: 酸化し難いということは発生しない; int2 & fact3 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; assump1 & fact2 -> int1: ({A} & {B}); int1 & fact1 -> int2: ¬{C}; int2 & fact3 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__