there exists something such that if it is not non-testicular then it is a counter.
sent1: something either is not deconstructionist or criticizes paranoia or both if it is not testicular. sent2: the RF is manly if it is a kind of a agrapha. sent3: the Bahraini does twin. sent4: the Bahraini is deconstructionist if it is carvel-built. sent5: there is something such that if it is thick it is incredible. sent6: if the Bahraini is a counter then it is hyperemic. sent7: if the Bahraini is testicular it is deconstructionist. sent8: there is something such that if that it is not non-knee-length is not incorrect then that it is a almandine is true.
void -> assump1: Let's assume that the Bahraini is testicular.; sent7 & assump1 -> int1: that the Bahraini is deconstructionist is correct.;
the foreshock does criticize paranoia.
sent1 -> int2: if the Bahraini is not testicular it is not deconstructionist and/or does criticize paranoia.;
$hypothesis$ = there exists something such that if it is not non-testicular then it is a counter. ; $context$ = sent1: something either is not deconstructionist or criticizes paranoia or both if it is not testicular. sent2: the RF is manly if it is a kind of a agrapha. sent3: the Bahraini does twin. sent4: the Bahraini is deconstructionist if it is carvel-built. sent5: there is something such that if it is thick it is incredible. sent6: if the Bahraini is a counter then it is hyperemic. sent7: if the Bahraini is testicular it is deconstructionist. sent8: there is something such that if that it is not non-knee-length is not incorrect then that it is a almandine is true. ; $proof$ = 
void -> assump1: Let's assume that the Bahraini is testicular.; sent7 & assump1 -> int1: that the Bahraini is deconstructionist is correct.; __UNKNOWN__