清々しいということが起きる
fact1: 物々しいということは起きない fact2: もしもまねまえLv.92事件が起きるとすれば程無いということが起きる fact3: 「御恥ずかしいということは発生しないかもしくは物々しいということは生じない」ということは偽であるとしたら清々しいということは起きない fact4: 物々しいということは発生しないということは御恥ずかしいということに阻まれる fact5: 御恥ずかしいということは発生しないということは清々しいということは発生しないということを阻止する
void -> assump1: 以下のように仮定する。御恥ずかしいということが起きる; fact4 & assump1 -> int1: 物々しいということが生じる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 御恥ずかしいということは生じない; int3 & fact5 -> hypothesis;
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact5 -> hypothesis;
清々しいということは起こらない
$facts$ = fact1: 物々しいということは起きない fact2: もしもまねまえLv.92事件が起きるとすれば程無いということが起きる fact3: 「御恥ずかしいということは発生しないかもしくは物々しいということは生じない」ということは偽であるとしたら清々しいということは起きない fact4: 物々しいということは発生しないということは御恥ずかしいということに阻まれる fact5: 御恥ずかしいということは発生しないということは清々しいということは発生しないということを阻止する ; $hypothesis$ = 清々しいということが起きる ; $proof$ = 
void -> assump1: 以下のように仮定する。御恥ずかしいということが起きる; fact4 & assump1 -> int1: 物々しいということが生じる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 御恥ずかしいということは生じない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}; fact4 & assump1 -> int1: {B}; int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}; int3 & fact5 -> hypothesis; __PROVED__