このまにょまにゅLv.63は形成し易くない
fact1: もし仮にこのまにょまにゅLv.63が解け易いならば形成し易い fact2: このぽいぽいLv.18は解け易い fact3: このまにょまにゅLv.63はスピーチする fact4: このまにょまにゅLv.63は解け易いしそれは美しい
fact4 -> int1: このまにょまにゅLv.63は解け易い; int1 & fact1 -> hypothesis;
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis;
$facts$ = fact1: もし仮にこのまにょまにゅLv.63が解け易いならば形成し易い fact2: このぽいぽいLv.18は解け易い fact3: このまにょまにゅLv.63はスピーチする fact4: このまにょまにゅLv.63は解け易いしそれは美しい ; $hypothesis$ = このまにょまにゅLv.63は形成し易くない ; $proof$ = 
fact4 -> int1: このまにょまにゅLv.63は解け易い; int1 & fact1 -> hypothesis; __DISPROVED__
fact4 -> int1: {A}{a}; int1 & fact1 -> hypothesis; __DISPROVED__