彼女らしいということと捗々しいということ両方ともが起こる
fact1: 答え難いということは発生しないかまたは起き易いということが生じる fact2: 彼女らしいということは生じないならば「答え難いということは発生しないかあるいは起き易いということが生じるかあるいはどちらもだ」ということは誤っている fact3: 低いということは生じないということは「ぽにゅぽわLv.31事件が発生しなくてしかもぴゆぴゆLv.52事件は起こらない」ということに引き起こされる fact4: 捗々しいということが生じる fact5: もしも止む無いということは起きないならば「ぽにゅぽわLv.31事件は生じなくてぴゆぴゆLv.52事件は生じない」ということは事実だ fact6: もし低いということは起こらないなら「「彼女らしいということと捗々しいということが生じる」ということは本当だ」ということは事実と異なる
void -> assump1: 以下のように仮定する。彼女らしいということは発生しない; fact2 & assump1 -> int1: 「答え難いということは起きないかもしくは起き易いということが起こる」ということは事実と異なる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 彼女らしいということが生じる; int3 & fact4 -> hypothesis;
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} v {AB}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact4 -> hypothesis;
「彼女らしいということおよび捗々しいということ両方ともが起きる」ということは偽である
$facts$ = fact1: 答え難いということは発生しないかまたは起き易いということが生じる fact2: 彼女らしいということは生じないならば「答え難いということは発生しないかあるいは起き易いということが生じるかあるいはどちらもだ」ということは誤っている fact3: 低いということは生じないということは「ぽにゅぽわLv.31事件が発生しなくてしかもぴゆぴゆLv.52事件は起こらない」ということに引き起こされる fact4: 捗々しいということが生じる fact5: もしも止む無いということは起きないならば「ぽにゅぽわLv.31事件は生じなくてぴゆぴゆLv.52事件は生じない」ということは事実だ fact6: もし低いということは起こらないなら「「彼女らしいということと捗々しいということが生じる」ということは本当だ」ということは事実と異なる ; $hypothesis$ = 彼女らしいということと捗々しいということ両方ともが起こる ; $proof$ = 
void -> assump1: 以下のように仮定する。彼女らしいということは発生しない; fact2 & assump1 -> int1: 「答え難いということは起きないかもしくは起き易いということが起こる」ということは事実と異なる; int1 & fact1 -> int2: これは矛盾である; [assump1] & int2 -> int3: 彼女らしいということが生じる; int3 & fact4 -> hypothesis; __PROVED__
void -> assump1: ¬{A}; fact2 & assump1 -> int1: ¬(¬{AA} v {AB}); int1 & fact1 -> int2: #F#; [assump1] & int2 -> int3: {A}; int3 & fact4 -> hypothesis; __PROVED__