there exists something such that if that it does not still antihistamine and resets maturation does not hold it is not a spicule.
sent1: the antihistamine is not a spicule if that it does not still antihistamine and does reset maturation is not right.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does not still antihistamine and resets maturation does not hold it is not a spicule. ; $context$ = sent1: the antihistamine is not a spicule if that it does not still antihistamine and does reset maturation is not right. ; $proof$ = 
sent1 -> hypothesis; __PROVED__