あのまねまのLv.20はうら若し
fact1: あのまねまのLv.20は冗談っぽくない fact2: もしあのまねまのLv.20が消化吸収され易いが口煩くないならあのまねまのLv.20はうら若しない fact3: あのまねまのLv.20は口煩くない fact4: とあるモンスターがうら若しけど冗談っぽいということはないとするとあのもえもにゅLv.12は消化吸収され易くない fact5: あのまねまのLv.20は消化吸収され易い
fact5 & fact3 -> int1: あのまねまのLv.20は消化吸収され易いモンスターであってかつ口煩いということはない; int1 & fact2 -> hypothesis;
fact5 & fact3 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact2 -> hypothesis;
あのもえもにゅLv.12は口煩いけれど嫌らしくない
$facts$ = fact1: あのまねまのLv.20は冗談っぽくない fact2: もしあのまねまのLv.20が消化吸収され易いが口煩くないならあのまねまのLv.20はうら若しない fact3: あのまねまのLv.20は口煩くない fact4: とあるモンスターがうら若しけど冗談っぽいということはないとするとあのもえもにゅLv.12は消化吸収され易くない fact5: あのまねまのLv.20は消化吸収され易い ; $hypothesis$ = あのまねまのLv.20はうら若し ; $proof$ = 
fact5 & fact3 -> int1: あのまねまのLv.20は消化吸収され易いモンスターであってかつ口煩いということはない; int1 & fact2 -> hypothesis; __DISPROVED__
fact5 & fact3 -> int1: ({A}{a} & ¬{B}{a}); int1 & fact2 -> hypothesis; __DISPROVED__