むくつけしということが起きる
fact1: 慎み深いということは正しいということが起こるということに阻止される fact2: 仮にむくつけしということは発生しないならば「生まれ得ることは起きなくて正しいということは起きない」ということは成り立たない fact3: 「生まれ得ることは起こらないしおまけに正しいということは発生しない」ということは成り立たないなら慎み深いということは発生しない fact4: 慎み深いということが発生する fact5: もし「「むくつけしということは発生しないが慎み深いということが生じる」ということは誤りである」ということは事実だとすると彼女らしいということは生じない
void -> assump1: 以下のように仮定する。むくつけしということは生じない; fact2 & assump1 -> int1: 「生まれ得ることは起こらないし更に正しいということは起こらない」ということは成り立たない; int1 & fact3 -> int2: 慎み深いということは起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact3 -> int2: ¬{B}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
彼女らしいということは発生しない
$facts$ = fact1: 慎み深いということは正しいということが起こるということに阻止される fact2: 仮にむくつけしということは発生しないならば「生まれ得ることは起きなくて正しいということは起きない」ということは成り立たない fact3: 「生まれ得ることは起こらないしおまけに正しいということは発生しない」ということは成り立たないなら慎み深いということは発生しない fact4: 慎み深いということが発生する fact5: もし「「むくつけしということは発生しないが慎み深いということが生じる」ということは誤りである」ということは事実だとすると彼女らしいということは生じない ; $hypothesis$ = むくつけしということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。むくつけしということは生じない; fact2 & assump1 -> int1: 「生まれ得ることは起こらないし更に正しいということは起こらない」ということは成り立たない; int1 & fact3 -> int2: 慎み深いということは起こらない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} & ¬{AB}); int1 & fact3 -> int2: ¬{B}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__