そのぴちゅぴのLv.20は上がり易くて更にそれは遠し
fact1: もしこのまにゃまゆLv.77が掻き集めないならこのまにゃまゆLv.77はどっしりするしそれにうつ伏す fact2: そのぴちゅぴのLv.20は温存出来る fact3: 仮にこのまにゃまゆLv.77が上がり易くないとしたらこのまにゅまちゃLv.33は熱苦しくて加えて温存出来る fact4: もしこのまにゃまゆLv.77が温存出来るとしたらそのぴちゅぴのLv.20は上がり易い fact5: このまにゃまゆLv.77は熱苦しくて温存出来る fact6: そのぴちゅぴのLv.20は遠し fact7: もしもとあるモンスターがどっしりするとすればそれは上がり易くないしそれにそれは遠し fact8: そのぽわぽくLv.16は遠し
fact5 -> int1: このまにゃまゆLv.77は温存出来る; int1 & fact4 -> int2: そのぴちゅぴのLv.20は上がり易い; int2 & fact6 -> hypothesis;
fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact6 -> hypothesis;
「このまにゅまちゃLv.33は熱苦しい」ということは確かだ
fact10 -> int3: このまにゃまゆLv.77がどっしりするとすると上がり易いということはないがしかし遠し;
$facts$ = fact1: もしこのまにゃまゆLv.77が掻き集めないならこのまにゃまゆLv.77はどっしりするしそれにうつ伏す fact2: そのぴちゅぴのLv.20は温存出来る fact3: 仮にこのまにゃまゆLv.77が上がり易くないとしたらこのまにゅまちゃLv.33は熱苦しくて加えて温存出来る fact4: もしこのまにゃまゆLv.77が温存出来るとしたらそのぴちゅぴのLv.20は上がり易い fact5: このまにゃまゆLv.77は熱苦しくて温存出来る fact6: そのぴちゅぴのLv.20は遠し fact7: もしもとあるモンスターがどっしりするとすればそれは上がり易くないしそれにそれは遠し fact8: そのぽわぽくLv.16は遠し ; $hypothesis$ = そのぴちゅぴのLv.20は上がり易くて更にそれは遠し ; $proof$ = 
fact5 -> int1: このまにゃまゆLv.77は温存出来る; int1 & fact4 -> int2: そのぴちゅぴのLv.20は上がり易い; int2 & fact6 -> hypothesis; __PROVED__
fact5 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact6 -> hypothesis; __PROVED__