「このみねみにゃLv.81は黴臭いしさらに認め難い」ということは成り立つということはない
fact1: 仮にこのぴくぴちゅLv.59が白いとするとこのみねみにゃLv.81は黴臭い fact2: もしこのぴくぴちゅLv.59が掻き易くないかまたはそれが懸濁しないとすればこのぴくぴちゅLv.59は白い fact3: 「あるモンスターは白くないか思しないかまたは両方ともならそれは白いということはない」ということは正しい fact4: もしも何らかのモンスターが取り出し易くないかまたは認め難くないとすればそれはおっかしい fact5: 仮にあるモンスターは白いということはないならば「それは黴臭くて認め難い」ということは誤りである fact6: このぴくぴちゅLv.59は掻き易いということはないかまたは懸濁しない
fact2 & fact6 -> int1: このぴくぴちゅLv.59は白い; int1 & fact1 -> int2: このみねみにゃLv.81は黴臭い;
fact2 & fact6 -> int1: {B}{a}; int1 & fact1 -> int2: {A}{b};
仮にこのぽにぽねLv.5が取り出し易くないかまたは認め難くないかあるいは両方ともであるならばこのぽにぽねLv.5はおっかしい
fact7 -> hypothesis;
$facts$ = fact1: 仮にこのぴくぴちゅLv.59が白いとするとこのみねみにゃLv.81は黴臭い fact2: もしこのぴくぴちゅLv.59が掻き易くないかまたはそれが懸濁しないとすればこのぴくぴちゅLv.59は白い fact3: 「あるモンスターは白くないか思しないかまたは両方ともならそれは白いということはない」ということは正しい fact4: もしも何らかのモンスターが取り出し易くないかまたは認め難くないとすればそれはおっかしい fact5: 仮にあるモンスターは白いということはないならば「それは黴臭くて認め難い」ということは誤りである fact6: このぴくぴちゅLv.59は掻き易いということはないかまたは懸濁しない ; $hypothesis$ = 「このみねみにゃLv.81は黴臭いしさらに認め難い」ということは成り立つということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__