そのぽゆぽにょLv.15は進学出来る
fact1: もしこのもよもにゅLv.31が青黒くない一方で水臭いならそのぽゆぽにょLv.15は進学出来ない fact2: このもよもにゅLv.31は青黒いかあるいはそれは水臭いかあるいはどちらもである fact3: もしそのぽゆぽにょLv.15が水臭いならばこのもよもにゅLv.31は進学出来る fact4: もし仮にあるモンスターは青黒いならば「進学出来る」ということは事実である fact5: このもよもにゅLv.31は親しみ易い fact6: このもよもにゅLv.31は堪え難い fact7: もしもこのもよもにゅLv.31が水臭いとしたらこのぴやぴちゅLv.86は親しみ易い fact8: このもよもにゅLv.31は青黒いなら「このぴやぴちゅLv.86は親しみ易い」ということは事実だ fact9: もしこのぴやぴちゅLv.86が親しみ易いとしたらそのぽゆぽにょLv.15は堪え難い
fact2 & fact8 & fact7 -> int1: このぴやぴちゅLv.86は親しみ易い; int1 & fact9 -> int2: そのぽゆぽにょLv.15は堪え難い;
fact2 & fact8 & fact7 -> int1: {C}{c}; int1 & fact9 -> int2: {D}{b};
あのまえまにLv.55は進学出来る
fact10 -> int3: もし仮にあのまえまにLv.55が青黒いとしたらそれは進学出来る;
$facts$ = fact1: もしこのもよもにゅLv.31が青黒くない一方で水臭いならそのぽゆぽにょLv.15は進学出来ない fact2: このもよもにゅLv.31は青黒いかあるいはそれは水臭いかあるいはどちらもである fact3: もしそのぽゆぽにょLv.15が水臭いならばこのもよもにゅLv.31は進学出来る fact4: もし仮にあるモンスターは青黒いならば「進学出来る」ということは事実である fact5: このもよもにゅLv.31は親しみ易い fact6: このもよもにゅLv.31は堪え難い fact7: もしもこのもよもにゅLv.31が水臭いとしたらこのぴやぴちゅLv.86は親しみ易い fact8: このもよもにゅLv.31は青黒いなら「このぴやぴちゅLv.86は親しみ易い」ということは事実だ fact9: もしこのぴやぴちゅLv.86が親しみ易いとしたらそのぽゆぽにょLv.15は堪え難い ; $hypothesis$ = そのぽゆぽにょLv.15は進学出来る ; $proof$ = 
__UNKNOWN__
__UNKNOWN__