「あのまよまにょLv.36は追尾しないし自戒するということはない」ということは間違っている
fact1: もしもこのみゆみくLv.94が揉み込まないとしたらあのまよまにょLv.36は受け入れ難くて更に愛し fact2: このみゆみくLv.94は愛し fact3: なにがしかのモンスターが妬ましいとしたら罹り易いが考え深くない fact4: 全てのモンスターは妬ましい fact5: 罹り易くて考え深くないモンスターは揉み込まない fact6: このみゆみくLv.94は愛しとすると「あのまよまにょLv.36は追尾するがしかし自戒するということはない」ということは誤りだ fact7: もしこのみゆみくLv.94は愛しとしたら「「あのまよまにょLv.36は追尾しなくて自戒するということはない」ということは成り立つ」ということは誤りだ
fact2 -> int1: このみゆみくLv.94は愛し; int1 & fact7 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact7 -> hypothesis;
あのまよまにょLv.36は追尾しなくて加えて自戒しない
fact10 -> int2: もしこのみゆみくLv.94が罹り易いけど考え深いということはないとすれば揉み込むということはない; fact9 -> int3: もし仮に「このもにょもゆLv.42は妬ましい」ということは事実であるならそれは罹り易いけれど考え深くない; fact8 -> int4: このもにょもゆLv.42は妬ましい; int3 & int4 -> int5: 「このもにょもゆLv.42は罹り易いが考え深くない」ということは真実である; int5 -> int6: すべてのモンスターは罹り易くて考え深くない; int6 -> int7: このみゆみくLv.94は罹り易いけど考え深くない; int2 & int7 -> int8: このみゆみくLv.94は揉み込まない; fact11 & int8 -> int9: あのまよまにょLv.36は受け入れ難くてそれに愛し; int9 -> int10: あのまよまにょLv.36は愛し;
$facts$ = fact1: もしもこのみゆみくLv.94が揉み込まないとしたらあのまよまにょLv.36は受け入れ難くて更に愛し fact2: このみゆみくLv.94は愛し fact3: なにがしかのモンスターが妬ましいとしたら罹り易いが考え深くない fact4: 全てのモンスターは妬ましい fact5: 罹り易くて考え深くないモンスターは揉み込まない fact6: このみゆみくLv.94は愛しとすると「あのまよまにょLv.36は追尾するがしかし自戒するということはない」ということは誤りだ fact7: もしこのみゆみくLv.94は愛しとしたら「「あのまよまにょLv.36は追尾しなくて自戒するということはない」ということは成り立つ」ということは誤りだ ; $hypothesis$ = 「あのまよまにょLv.36は追尾しないし自戒するということはない」ということは間違っている ; $proof$ = 
fact2 -> int1: このみゆみくLv.94は愛し; int1 & fact7 -> hypothesis; __PROVED__
fact2 -> int1: {A}{a}; int1 & fact7 -> hypothesis; __PROVED__