このぷにゃぷいLv.93は快い
fact1: このまゆまのLv.48は馬鹿らしい fact2: もしも「このまゆまのLv.48は真っ白い」ということは真実ならば「このぷにゃぷいLv.93は快い」ということは成り立つ fact3: あのぴにょぴよLv.92は実見しないが遣り辛い fact4: もしもこのまゆまのLv.48が遣り辛くないならこのぷにゃぷいLv.93は上げ難くてそれに馬鹿らしい fact5: このまゆまのLv.48は真っ白いし更に馬鹿らしい fact6: このまゆまのLv.48は腹立たしい fact7: このみにみなLv.55は焼くしそれは大成る
fact5 -> int1: このまゆまのLv.48は真っ白い; int1 & fact2 -> hypothesis;
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
このぷにゃぷいLv.93は快くない
fact8 -> int2: 「「実見しないけど遣り辛い」ということは確かである」モンスターはいる;
$facts$ = fact1: このまゆまのLv.48は馬鹿らしい fact2: もしも「このまゆまのLv.48は真っ白い」ということは真実ならば「このぷにゃぷいLv.93は快い」ということは成り立つ fact3: あのぴにょぴよLv.92は実見しないが遣り辛い fact4: もしもこのまゆまのLv.48が遣り辛くないならこのぷにゃぷいLv.93は上げ難くてそれに馬鹿らしい fact5: このまゆまのLv.48は真っ白いし更に馬鹿らしい fact6: このまゆまのLv.48は腹立たしい fact7: このみにみなLv.55は焼くしそれは大成る ; $hypothesis$ = このぷにゃぷいLv.93は快い ; $proof$ = 
fact5 -> int1: このまゆまのLv.48は真っ白い; int1 & fact2 -> hypothesis; __PROVED__
fact5 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__