the fact that there exists something such that if it is not a Polo then that it is not an urchin and it is a overstrain is incorrect is wrong.
sent1: there is something such that if it is nondeductible that it is not karyokinetic and it is a life is incorrect. sent2: if something is not a Polo then that it is not an urchin but a overstrain is false.
sent2 -> int1: that the seam is not an urchin but it is a kind of a overstrain is incorrect if it is not a Polo.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is not a Polo then that it is not an urchin and it is a overstrain is incorrect is wrong. ; $context$ = sent1: there is something such that if it is nondeductible that it is not karyokinetic and it is a life is incorrect. sent2: if something is not a Polo then that it is not an urchin but a overstrain is false. ; $proof$ = 
sent2 -> int1: that the seam is not an urchin but it is a kind of a overstrain is incorrect if it is not a Polo.; int1 -> hypothesis; __DISPROVED__