「あのもちゅもなLv.37は素早くて進化し易い」ということは事実だ
fact1: もし何らかのモンスターは指弾しないとすると「それは使い難くて加えてそれは薄める」ということは間違っている fact2: もしもこのもなもよLv.15が薄めるとするとこのまにゅまやLv.63は指弾する fact3: もしもこのもなもよLv.15は薄めないならば「あのもちゅもなLv.37は素早くてまたそれは進化し易い」ということは嘘である fact4: もしも繁殖し易いモンスターが指弾するならあのもちゅもなLv.37は素早い fact5: あのもちゅもなLv.37は進化し易い fact6: もしもこのもなもよLv.15が使い難いならばこのまにゅまやLv.63は指弾する fact7: もし仮に移行し易いモンスターが繁殖し易いなら指弾しない fact8: 「このまにゅまやLv.63は繁殖し易い」ということは本当である fact9: このもなもよLv.15は薄めるかまたは使い難いかあるいは両方だ
fact9 & fact2 & fact6 -> int1: 「このまにゅまやLv.63は指弾する」ということは事実と異ならない; int1 & fact8 -> int2: このまにゅまやLv.63は繁殖し易くて指弾する; int2 -> int3: 「繁殖し易いモンスターでその上指弾するモンスターはいる」ということは成り立つ; int3 & fact4 -> int4: あのもちゅもなLv.37は素早い; int4 & fact5 -> hypothesis;
fact9 & fact2 & fact6 -> int1: {C}{c}; int1 & fact8 -> int2: ({D}{c} & {C}{c}); int2 -> int3: (Ex): ({D}x & {C}x); int3 & fact4 -> int4: {E}{b}; int4 & fact5 -> hypothesis;
「あのもちゅもなLv.37は素早いしそれは進化し易い」ということは成り立たない
fact10 -> int5: このまにゅまやLv.63は指弾しないならば「このまにゅまやLv.63は使い難くてまたそれは薄める」ということは正しくない; fact12 -> int6: もしこのまにゅまやLv.63が移行し易いモンスターで繁殖し易いとしたらこのまにゅまやLv.63は指弾しない;
$facts$ = fact1: もし何らかのモンスターは指弾しないとすると「それは使い難くて加えてそれは薄める」ということは間違っている fact2: もしもこのもなもよLv.15が薄めるとするとこのまにゅまやLv.63は指弾する fact3: もしもこのもなもよLv.15は薄めないならば「あのもちゅもなLv.37は素早くてまたそれは進化し易い」ということは嘘である fact4: もしも繁殖し易いモンスターが指弾するならあのもちゅもなLv.37は素早い fact5: あのもちゅもなLv.37は進化し易い fact6: もしもこのもなもよLv.15が使い難いならばこのまにゅまやLv.63は指弾する fact7: もし仮に移行し易いモンスターが繁殖し易いなら指弾しない fact8: 「このまにゅまやLv.63は繁殖し易い」ということは本当である fact9: このもなもよLv.15は薄めるかまたは使い難いかあるいは両方だ ; $hypothesis$ = 「あのもちゅもなLv.37は素早くて進化し易い」ということは事実だ ; $proof$ = 
fact9 & fact2 & fact6 -> int1: 「このまにゅまやLv.63は指弾する」ということは事実と異ならない; int1 & fact8 -> int2: このまにゅまやLv.63は繁殖し易くて指弾する; int2 -> int3: 「繁殖し易いモンスターでその上指弾するモンスターはいる」ということは成り立つ; int3 & fact4 -> int4: あのもちゅもなLv.37は素早い; int4 & fact5 -> hypothesis; __PROVED__
fact9 & fact2 & fact6 -> int1: {C}{c}; int1 & fact8 -> int2: ({D}{c} & {C}{c}); int2 -> int3: (Ex): ({D}x & {C}x); int3 & fact4 -> int4: {E}{b}; int4 & fact5 -> hypothesis; __PROVED__