ぽねぽえLv.39事件は生じない
fact1: 「雄々しいということが起きるしかつ嘘っぽいということが起こる」ということは「見付け易いということは発生しない」ということを生じさせる fact2: 「雄々しいということは起こらない」ということは見付け易いということに阻まれる fact3: 間近いということは起きないとすると雄々しいということおよび嘘っぽいということが発生する fact4: もし見付け易いということは起きないとすると「ぽねぽえLv.39事件ではなくて雄々しいということが起こる」ということは成り立たない fact5: 雄々しいということは発生しない fact6: もにもにLv.71事件は起こらない fact7: 見付け易いということは発生しないということはぽねぽえLv.39事件に阻まれる
void -> assump1: 以下のように仮定する。ぽねぽえLv.39事件が発生する; fact7 & assump1 -> int1: 見付け易いということが生じる; int1 & fact2 -> int2: 雄々しいということが起きる; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。ぽねぽえLv.39事件が発生する
$facts$ = fact1: 「雄々しいということが起きるしかつ嘘っぽいということが起こる」ということは「見付け易いということは発生しない」ということを生じさせる fact2: 「雄々しいということは起こらない」ということは見付け易いということに阻まれる fact3: 間近いということは起きないとすると雄々しいということおよび嘘っぽいということが発生する fact4: もし見付け易いということは起きないとすると「ぽねぽえLv.39事件ではなくて雄々しいということが起こる」ということは成り立たない fact5: 雄々しいということは発生しない fact6: もにもにLv.71事件は起こらない fact7: 見付け易いということは発生しないということはぽねぽえLv.39事件に阻まれる ; $hypothesis$ = ぽねぽえLv.39事件は生じない ; $proof$ = 
void -> assump1: 以下のように仮定する。ぽねぽえLv.39事件が発生する; fact7 & assump1 -> int1: 見付け易いということが生じる; int1 & fact2 -> int2: 雄々しいということが起きる; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}; fact7 & assump1 -> int1: {B}; int1 & fact2 -> int2: {C}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__