「このまねまよLv.61は仰々しくて習熟する」ということは成り立たない
fact1: そのぴくぴやLv.0は近付き難くて把握し易い fact2: そのぴくぴやLv.0は把握し易い fact3: このまねまよLv.61は習熟する fact4: もしもそのぴくぴやLv.0が近付き難いならこのまねまよLv.61は仰々しい
fact1 -> int1: そのぴくぴやLv.0は近付き難い; int1 & fact4 -> int2: このまねまよLv.61は仰々しい; int2 & fact3 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: そのぴくぴやLv.0は近付き難くて把握し易い fact2: そのぴくぴやLv.0は把握し易い fact3: このまねまよLv.61は習熟する fact4: もしもそのぴくぴやLv.0が近付き難いならこのまねまよLv.61は仰々しい ; $hypothesis$ = 「このまねまよLv.61は仰々しくて習熟する」ということは成り立たない ; $proof$ = 
fact1 -> int1: そのぴくぴやLv.0は近付き難い; int1 & fact4 -> int2: このまねまよLv.61は仰々しい; int2 & fact3 -> hypothesis; __DISPROVED__
fact1 -> int1: {A}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __DISPROVED__