「あのもにゃもやLv.6が捕まえ易いならばあのまちゅまのLv.10は変え難い」ということは間違っている
fact1: もしもあのもにゃもやLv.6が変え難いとすればそれは捕まえ易い fact2: あのまちゅまのLv.10は捕まえ易い fact3: 変え難くないモンスターは捕まえ易いかまたは分かり辛い fact4: もし仮にあのもにゃもやLv.6が分かり辛いならあのまちゅまのLv.10は変え難い fact5: 「もしもあのもにゃもやLv.6が捕まえ易いならあのもにゃもやLv.6は分かり辛い」ということは正しい
void -> assump1: 以下のように仮定する。あのもにゃもやLv.6は捕まえ易い; fact5 & assump1 -> int1: あのもにゃもやLv.6は分かり辛い; int1 & fact4 -> int2: あのまちゅまのLv.10は変え難い; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis;
そのぷにゃぷちょLv.39は分かり辛い
fact6 -> int3: もしもあのもにゃもやLv.6が変え難くないなら捕まえ易いかまたは分かり辛いかもしくは両方だ;
$facts$ = fact1: もしもあのもにゃもやLv.6が変え難いとすればそれは捕まえ易い fact2: あのまちゅまのLv.10は捕まえ易い fact3: 変え難くないモンスターは捕まえ易いかまたは分かり辛い fact4: もし仮にあのもにゃもやLv.6が分かり辛いならあのまちゅまのLv.10は変え難い fact5: 「もしもあのもにゃもやLv.6が捕まえ易いならあのもにゃもやLv.6は分かり辛い」ということは正しい ; $hypothesis$ = 「あのもにゃもやLv.6が捕まえ易いならばあのまちゅまのLv.10は変え難い」ということは間違っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもにゃもやLv.6は捕まえ易い; fact5 & assump1 -> int1: あのもにゃもやLv.6は分かり辛い; int1 & fact4 -> int2: あのまちゅまのLv.10は変え難い; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; [assump1] & int2 -> hypothesis; __DISPROVED__