あのぴゆぴわLv.77は冷え切る
fact1: 仮にこのもちゃもえLv.21が誤解され易くないならあのまえまちょLv.9は立て易いしかつ冷え切る fact2: もし「このもちゃもえLv.21は好もしい」ということは事実であるならこのもちゃもえLv.21は立て易い fact3: 仮にそのぴいぴのLv.60が古臭いならばあのぴゆぴわLv.77は誤解され易くないモンスターであり疲れ難い fact4: 仮にこのもちゃもえLv.21が立て易いならあのぴゆぴわLv.77は冷え切る fact5: もし仮にとあるモンスターは立て易いなら「それは好もしい」ということは成り立つ fact6: 「「考え辛い」ということは成り立つ」モンスターがいるとしたらそのぴいぴのLv.60は考え辛いしそれは古臭い fact7: このもちゃもえLv.21は好もしい fact8: あのもにょもちゅLv.53は考え辛い
fact2 & fact7 -> int1: このもちゃもえLv.21は立て易い; int1 & fact4 -> hypothesis;
fact2 & fact7 -> int1: {B}{a}; int1 & fact4 -> hypothesis;
あのまえまちょLv.9は好もしい
fact9 -> int2: 仮にあのまえまちょLv.9が立て易いとするとそれは好もしい; fact10 -> int3: 「考え辛い」モンスターはいる; int3 & fact11 -> int4: そのぴいぴのLv.60は考え辛いし加えて古臭い; int4 -> int5: そのぴいぴのLv.60は古臭い; fact12 & int5 -> int6: あのぴゆぴわLv.77は誤解され易くないけれど疲れ難い; int6 -> int7: なんらかのモンスターは誤解され易くないけど疲れ難い;
$facts$ = fact1: 仮にこのもちゃもえLv.21が誤解され易くないならあのまえまちょLv.9は立て易いしかつ冷え切る fact2: もし「このもちゃもえLv.21は好もしい」ということは事実であるならこのもちゃもえLv.21は立て易い fact3: 仮にそのぴいぴのLv.60が古臭いならばあのぴゆぴわLv.77は誤解され易くないモンスターであり疲れ難い fact4: 仮にこのもちゃもえLv.21が立て易いならあのぴゆぴわLv.77は冷え切る fact5: もし仮にとあるモンスターは立て易いなら「それは好もしい」ということは成り立つ fact6: 「「考え辛い」ということは成り立つ」モンスターがいるとしたらそのぴいぴのLv.60は考え辛いしそれは古臭い fact7: このもちゃもえLv.21は好もしい fact8: あのもにょもちゅLv.53は考え辛い ; $hypothesis$ = あのぴゆぴわLv.77は冷え切る ; $proof$ = 
fact2 & fact7 -> int1: このもちゃもえLv.21は立て易い; int1 & fact4 -> hypothesis; __PROVED__
fact2 & fact7 -> int1: {B}{a}; int1 & fact4 -> hypothesis; __PROVED__