このまのまゆLv.52は手堅くないけれどそれは参加し易い
fact1: もしそのまちゅまにLv.77が兼ねるということはないならば兼ねなくておまけに参加し易い fact2: 「このぷちゅぷやLv.60は参加し易いということはない」ということは正しい fact3: そのまちゅまにLv.77は兼ねない fact4: ネイティブらしいということはないモンスターは兼ねるし手堅い fact5: もしもこのまのまゆLv.52が手堅いということはないとすればこのまのまゆLv.52は手堅くないがしかし参加し易い fact6: もし仮に「そのまちゅまにLv.77は手堅くない」ということは本当だとすればそのまちゅまにLv.77は手堅くない一方でそれは兼ねる fact7: このまのまゆLv.52が手堅いならそのまちゅまにLv.77は兼ねる fact8: もし仮に「兼ねる」モンスターがいるとしたらそのもねもやLv.51は兼ねるしそれにそれは手堅い
void -> assump1: 以下のように仮定する。このまのまゆLv.52は手堅い; fact7 & assump1 -> int1: そのまちゅまにLv.77は兼ねる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまのまゆLv.52は手堅くない; int3 & fact5 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis;
そのもねもやLv.51は兼ねる
$facts$ = fact1: もしそのまちゅまにLv.77が兼ねるということはないならば兼ねなくておまけに参加し易い fact2: 「このぷちゅぷやLv.60は参加し易いということはない」ということは正しい fact3: そのまちゅまにLv.77は兼ねない fact4: ネイティブらしいということはないモンスターは兼ねるし手堅い fact5: もしもこのまのまゆLv.52が手堅いということはないとすればこのまのまゆLv.52は手堅くないがしかし参加し易い fact6: もし仮に「そのまちゅまにLv.77は手堅くない」ということは本当だとすればそのまちゅまにLv.77は手堅くない一方でそれは兼ねる fact7: このまのまゆLv.52が手堅いならそのまちゅまにLv.77は兼ねる fact8: もし仮に「兼ねる」モンスターがいるとしたらそのもねもやLv.51は兼ねるしそれにそれは手堅い ; $hypothesis$ = このまのまゆLv.52は手堅くないけれどそれは参加し易い ; $proof$ = 
void -> assump1: 以下のように仮定する。このまのまゆLv.52は手堅い; fact7 & assump1 -> int1: そのまちゅまにLv.77は兼ねる; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: このまのまゆLv.52は手堅くない; int3 & fact5 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact5 -> hypothesis; __PROVED__