このぴにゅぴにゅLv.45は反論出来ない
fact1: 「このもにょもちょLv.69は生き易い」ということは成り立つ fact2: このまにまのLv.0は太り易い fact3: 仮にこのもにょもちょLv.69が観察し易いとすればこのまにまのLv.0は心優しい fact4: 心優しいということはないモンスターは太り易いしそれに観察し易い fact5: このぴにゅぴにゅLv.45は観察し易い fact6: このもにょもちょLv.69は観察し易い fact7: もし仮にこのまにまのLv.0が心優しいしそれに太り易いならこのぴにゅぴにゅLv.45は反論出来ない fact8: このもにょもちょLv.69が心優しくないならこのぴにゅぴにゅLv.45は反論出来るしまた観察し易い
fact3 & fact6 -> int1: このまにまのLv.0は心優しい; int1 & fact2 -> int2: このまにまのLv.0は心優しいししかも太り易い; int2 & fact7 -> hypothesis;
fact3 & fact6 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> hypothesis;
このぴやぴゆLv.23は太り易い
fact9 -> int3: もしも「このぴやぴゆLv.23は心優しいということはない」ということは正しいとしたらこのぴやぴゆLv.23は太り易いしさらに観察し易い;
$facts$ = fact1: 「このもにょもちょLv.69は生き易い」ということは成り立つ fact2: このまにまのLv.0は太り易い fact3: 仮にこのもにょもちょLv.69が観察し易いとすればこのまにまのLv.0は心優しい fact4: 心優しいということはないモンスターは太り易いしそれに観察し易い fact5: このぴにゅぴにゅLv.45は観察し易い fact6: このもにょもちょLv.69は観察し易い fact7: もし仮にこのまにまのLv.0が心優しいしそれに太り易いならこのぴにゅぴにゅLv.45は反論出来ない fact8: このもにょもちょLv.69が心優しくないならこのぴにゅぴにゅLv.45は反論出来るしまた観察し易い ; $hypothesis$ = このぴにゅぴにゅLv.45は反論出来ない ; $proof$ = 
fact3 & fact6 -> int1: このまにまのLv.0は心優しい; int1 & fact2 -> int2: このまにまのLv.0は心優しいししかも太り易い; int2 & fact7 -> hypothesis; __PROVED__
fact3 & fact6 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); int2 & fact7 -> hypothesis; __PROVED__