このみにみにLv.19は覚え易くない
fact1: このまにょまねLv.6は幼い fact2: 仮に「このまちゅまえLv.76は幼い」ということは成り立てばこのみにみにLv.19は覚え易い fact3: このまちゅまえLv.76は幼い
fact3 -> int1: このまちゅまえLv.76は幼い; int1 & fact2 -> hypothesis;
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このまにょまねLv.6は幼い fact2: 仮に「このまちゅまえLv.76は幼い」ということは成り立てばこのみにみにLv.19は覚え易い fact3: このまちゅまえLv.76は幼い ; $hypothesis$ = このみにみにLv.19は覚え易くない ; $proof$ = 
fact3 -> int1: このまちゅまえLv.76は幼い; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __DISPROVED__