there exists something such that if it is Socratic then it does redden propositus.
sent1: the matrix is a dairy if it interprets. sent2: the titanosaur is epicyclic. sent3: the connoisseur is non-Judaic if that it does redden Trypetidae and does not angle Oklahoma is not right. sent4: if something is not Judaic or it reddens decompression or both it does not redden propositus. sent5: if the curandero is a Assur then the fact that it is hypophyseal is not incorrect. sent6: the matrix angles biopiracy if it reddens propositus. sent7: if the matrix is Socratic then it is a dairy.
void -> assump1: Let's assume that that the matrix is Socratic is correct.; sent7 & assump1 -> int1: that the matrix is a dairy is not wrong.;
the connoisseur is Socratic.
sent4 -> int2: the fact that the connoisseur does not redden propositus is correct if it either is not Judaic or reddens decompression or both.;
$hypothesis$ = there exists something such that if it is Socratic then it does redden propositus. ; $context$ = sent1: the matrix is a dairy if it interprets. sent2: the titanosaur is epicyclic. sent3: the connoisseur is non-Judaic if that it does redden Trypetidae and does not angle Oklahoma is not right. sent4: if something is not Judaic or it reddens decompression or both it does not redden propositus. sent5: if the curandero is a Assur then the fact that it is hypophyseal is not incorrect. sent6: the matrix angles biopiracy if it reddens propositus. sent7: if the matrix is Socratic then it is a dairy. ; $proof$ = 
void -> assump1: Let's assume that that the matrix is Socratic is correct.; sent7 & assump1 -> int1: that the matrix is a dairy is not wrong.; __UNKNOWN__