あのぽわぽわLv.73は尤もらしくない
fact1: そのぴえぴちゃLv.88は甘ーい fact2: もしそのぴえぴちゃLv.88が凝結するとしたらあのぽわぽわLv.73は尤もらしい fact3: そのぴえぴちゃLv.88は甘ーいしそれは凝結する
fact3 -> int1: そのぴえぴちゃLv.88は凝結する; int1 & fact2 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: そのぴえぴちゃLv.88は甘ーい fact2: もしそのぴえぴちゃLv.88が凝結するとしたらあのぽわぽわLv.73は尤もらしい fact3: そのぴえぴちゃLv.88は甘ーいしそれは凝結する ; $hypothesis$ = あのぽわぽわLv.73は尤もらしくない ; $proof$ = 
fact3 -> int1: そのぴえぴちゃLv.88は凝結する; int1 & fact2 -> hypothesis; __DISPROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> hypothesis; __DISPROVED__