that there is something such that if it does not beat obscenity and it does not beat arctiid it does pry is wrong.
sent1: if something is not a kind of a stump and does not beat retreat it is a kroon. sent2: the boson pries if it does not beat obscenity and it does not beat arctiid. sent3: the boson overworks if it does beat arctiid and is not prandial.
sent2 -> hypothesis;
there is something such that if it is not a stump and it does not beat retreat then it is a kroon.
sent1 -> int1: the polypropenonitrile is a kroon if it is not a kind of a stump and it does not beat retreat.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it does not beat obscenity and it does not beat arctiid it does pry is wrong. ; $context$ = sent1: if something is not a kind of a stump and does not beat retreat it is a kroon. sent2: the boson pries if it does not beat obscenity and it does not beat arctiid. sent3: the boson overworks if it does beat arctiid and is not prandial. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__