that there exists something such that the fact that either it does not splay decker or it brightens or both is incorrect does not hold.
sent1: if the Haitian is a theorem then the fact that the pear does not brighten is correct. sent2: the cudgel is not nonsuppurative. sent3: if the fact that the grille is a kind of a Aum hold the Haitian is a theorem. sent4: the grille is both not a rhyolite and discriminate if the fact that the cudgel does not discriminate is not false. sent5: The Barkley sprays cudgel. sent6: if the fact that the pear does not brighten is true that either the dudeen does not splay decker or it does brighten or both is incorrect. sent7: if something that is suppurative does spray Barkley then it does not discriminate. sent8: the fact that the dudeen does not brighten is not false if the pear does not brighten. sent9: if the grille is not a rhyolite but it does discriminate it is a Aum. sent10: if something is not a theorem then the fact that it is a rhyolite that is a Aum is not right. sent11: there exists something such that it does not splay decker and/or it does brighten. sent12: the cudgel sprays Barkley. sent13: the pear is suppurative.
sent7 -> int1: if the cudgel is suppurative and it sprays Barkley it is not discriminate.; sent2 & sent12 -> int2: the cudgel is suppurative and it sprays Barkley.; int1 & int2 -> int3: the cudgel does not discriminate.; int3 & sent4 -> int4: the grille is not a rhyolite but it discriminates.; int4 & sent9 -> int5: the grille is a Aum.; int5 & sent3 -> int6: the Haitian is a theorem.; int6 & sent1 -> int7: the pear does not brighten.; int7 & sent6 -> int8: the fact that the dudeen does not splay decker and/or it does brighten is false.; int8 -> hypothesis;
the Haitian is not discriminate.
sent10 -> int9: if that the grille is not a theorem hold that it is a rhyolite and it is a Aum is not true.;
$hypothesis$ = that there exists something such that the fact that either it does not splay decker or it brightens or both is incorrect does not hold. ; $context$ = sent1: if the Haitian is a theorem then the fact that the pear does not brighten is correct. sent2: the cudgel is not nonsuppurative. sent3: if the fact that the grille is a kind of a Aum hold the Haitian is a theorem. sent4: the grille is both not a rhyolite and discriminate if the fact that the cudgel does not discriminate is not false. sent5: The Barkley sprays cudgel. sent6: if the fact that the pear does not brighten is true that either the dudeen does not splay decker or it does brighten or both is incorrect. sent7: if something that is suppurative does spray Barkley then it does not discriminate. sent8: the fact that the dudeen does not brighten is not false if the pear does not brighten. sent9: if the grille is not a rhyolite but it does discriminate it is a Aum. sent10: if something is not a theorem then the fact that it is a rhyolite that is a Aum is not right. sent11: there exists something such that it does not splay decker and/or it does brighten. sent12: the cudgel sprays Barkley. sent13: the pear is suppurative. ; $proof$ = 
sent7 -> int1: if the cudgel is suppurative and it sprays Barkley it is not discriminate.; sent2 & sent12 -> int2: the cudgel is suppurative and it sprays Barkley.; int1 & int2 -> int3: the cudgel does not discriminate.; int3 & sent4 -> int4: the grille is not a rhyolite but it discriminates.; int4 & sent9 -> int5: the grille is a Aum.; int5 & sent3 -> int6: the Haitian is a theorem.; int6 & sent1 -> int7: the pear does not brighten.; int7 & sent6 -> int8: the fact that the dudeen does not splay decker and/or it does brighten is false.; int8 -> hypothesis; __DISPROVED__