「あのぴねぴにLv.99は掛け易くないが黒い」ということは誤りである
fact1: もしあのまちょまえLv.5が取り易いとしたらあのまちょまえLv.5は掛け易い fact2: あのまちょまえLv.5は暗し fact3: あのぷよぷちゅLv.19は暗し fact4: もしもあのまちょまえLv.5が暗しならあのまちょまえLv.5は取り易い
fact4 & fact2 -> int1: あのまちょまえLv.5は取り易い; int1 & fact1 -> int2: あのまちょまえLv.5は掛け易い;
fact4 & fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a};
$facts$ = fact1: もしあのまちょまえLv.5が取り易いとしたらあのまちょまえLv.5は掛け易い fact2: あのまちょまえLv.5は暗し fact3: あのぷよぷちゅLv.19は暗し fact4: もしもあのまちょまえLv.5が暗しならあのまちょまえLv.5は取り易い ; $hypothesis$ = 「あのぴねぴにLv.99は掛け易くないが黒い」ということは誤りである ; $proof$ = 
__UNKNOWN__
__UNKNOWN__