the hypertonicity is not nonreticulate.
sent1: that something is nonreticulate and it is a Potomac is wrong if it is not punic. sent2: the capiz is not a dahl if the fact that it does not squire thallus hold. sent3: if the capiz is not a dahl then the hypertonicity is not a dahl but it is a Binet. sent4: the fact that the capiz squires thallus and it is a frijolito is not correct if there is something such that it is not punic. sent5: there is something such that it is not punic. sent6: if something is not a dahl but it is a Binet it is not nonreticulate. sent7: if something is punic it is nonreticulate. sent8: if the hypertonicity is not a frijolito either the capiz does squire thallus or it is not punic or both.
sent5 & sent4 -> int1: the fact that that the capiz does squire thallus and it is a frijolito does not hold is not incorrect.; sent6 -> int2: if the hypertonicity is not a dahl but it is a Binet it is not nonreticulate.;
that the Ephesians is nonreticulate and it is a Potomac is not right.
sent1 -> int3: if the Ephesians is not punic then that it is nonreticulate and it is a Potomac is incorrect.;
$hypothesis$ = the hypertonicity is not nonreticulate. ; $context$ = sent1: that something is nonreticulate and it is a Potomac is wrong if it is not punic. sent2: the capiz is not a dahl if the fact that it does not squire thallus hold. sent3: if the capiz is not a dahl then the hypertonicity is not a dahl but it is a Binet. sent4: the fact that the capiz squires thallus and it is a frijolito is not correct if there is something such that it is not punic. sent5: there is something such that it is not punic. sent6: if something is not a dahl but it is a Binet it is not nonreticulate. sent7: if something is punic it is nonreticulate. sent8: if the hypertonicity is not a frijolito either the capiz does squire thallus or it is not punic or both. ; $proof$ = 
sent5 & sent4 -> int1: the fact that that the capiz does squire thallus and it is a frijolito does not hold is not incorrect.; sent6 -> int2: if the hypertonicity is not a dahl but it is a Binet it is not nonreticulate.; __UNKNOWN__