このぽわぽわLv.32は御若いけど練り始めない
fact1: 「このぽわぽわLv.32は練り始めない」ということは嘘でない fact2: 悔しくないモンスターは心憎くておまけに汲み取れる fact3: もしもあのもやもにゅLv.41が心憎いならばこのぴにょぴよLv.18は練り始める fact4: このぴにょぴよLv.18が練り始めるとしたらこのぽわぽわLv.32は御若いが練り始めるということはない fact5: もし「あのもやもにゅLv.41は取り逃がすかあるいは優しくないかまたはどちらもだ」ということは間違っていれば心憎い fact6: あるモンスターは心憎いならば「御若くて更にそれは練り始めない」ということは間違いだ fact7: 「あのもやもにゅLv.41は取り逃がすか優しいということはない」ということは嘘である fact8: あのもやもにゅLv.41は取り逃がさない
fact5 & fact7 -> int1: あのもやもにゅLv.41は心憎い; int1 & fact3 -> int2: このぴにょぴよLv.18は練り始める; int2 & fact4 -> hypothesis;
fact5 & fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{b}; int2 & fact4 -> hypothesis;
「このぽわぽわLv.32は御若いけれど練り始めない」ということは事実と異なる
fact9 -> int3: もしもこのぽわぽわLv.32は心憎いとすれば「このぽわぽわLv.32は御若いが練り始めない」ということは誤りだ; fact10 -> int4: 仮にこのぽわぽわLv.32が悔しくないとしたらそれは心憎くて汲み取れる;
$facts$ = fact1: 「このぽわぽわLv.32は練り始めない」ということは嘘でない fact2: 悔しくないモンスターは心憎くておまけに汲み取れる fact3: もしもあのもやもにゅLv.41が心憎いならばこのぴにょぴよLv.18は練り始める fact4: このぴにょぴよLv.18が練り始めるとしたらこのぽわぽわLv.32は御若いが練り始めるということはない fact5: もし「あのもやもにゅLv.41は取り逃がすかあるいは優しくないかまたはどちらもだ」ということは間違っていれば心憎い fact6: あるモンスターは心憎いならば「御若くて更にそれは練り始めない」ということは間違いだ fact7: 「あのもやもにゅLv.41は取り逃がすか優しいということはない」ということは嘘である fact8: あのもやもにゅLv.41は取り逃がさない ; $hypothesis$ = このぽわぽわLv.32は御若いけど練り始めない ; $proof$ = 
fact5 & fact7 -> int1: あのもやもにゅLv.41は心憎い; int1 & fact3 -> int2: このぴにょぴよLv.18は練り始める; int2 & fact4 -> hypothesis; __PROVED__
fact5 & fact7 -> int1: {B}{a}; int1 & fact3 -> int2: {A}{b}; int2 & fact4 -> hypothesis; __PROVED__