そのもゆもねLv.22は等しい
fact1: 仮に何らかのモンスターは等しいということはないとすると「幼くないし更に申し出る」ということは誤りである fact2: 「「そのもゆもねLv.22は小さくない一方で等しい」ということは成り立つ」ということは成り立たないとしたらそのもゆもねLv.22は等しくない fact3: 仮に「「幼いということはないしそれに申し出る」ということは事実と異なる」モンスターがいるとしたらそのぴなぴねLv.21は幼い fact4: そのもゆもねLv.22は羨ましい fact5: そのもゆもねLv.22は羨ましくておまけに守り易い fact6: 仮にそのもゆもねLv.22が申し出るとするとそのもゆもねLv.22は等しい fact7: もしそのもゆもねLv.22が守り易いならばそのもゆもねLv.22は申し出る
fact5 -> int1: 「そのもゆもねLv.22は守り易い」ということは嘘でない; int1 & fact7 -> int2: そのもゆもねLv.22は申し出る; int2 & fact6 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis;
そのぴなぴねLv.21は幼いし羨ましい
fact8 -> int3: もし仮にそのもゆもねLv.22は等しくないとすると「それは幼くなくてまた申し出る」ということは成り立たない;
$facts$ = fact1: 仮に何らかのモンスターは等しいということはないとすると「幼くないし更に申し出る」ということは誤りである fact2: 「「そのもゆもねLv.22は小さくない一方で等しい」ということは成り立つ」ということは成り立たないとしたらそのもゆもねLv.22は等しくない fact3: 仮に「「幼いということはないしそれに申し出る」ということは事実と異なる」モンスターがいるとしたらそのぴなぴねLv.21は幼い fact4: そのもゆもねLv.22は羨ましい fact5: そのもゆもねLv.22は羨ましくておまけに守り易い fact6: 仮にそのもゆもねLv.22が申し出るとするとそのもゆもねLv.22は等しい fact7: もしそのもゆもねLv.22が守り易いならばそのもゆもねLv.22は申し出る ; $hypothesis$ = そのもゆもねLv.22は等しい ; $proof$ = 
fact5 -> int1: 「そのもゆもねLv.22は守り易い」ということは嘘でない; int1 & fact7 -> int2: そのもゆもねLv.22は申し出る; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact7 -> int2: {C}{a}; int2 & fact6 -> hypothesis; __PROVED__