there exists something such that if it does beat discomposure then it is not damascene and it does not beat gneiss.
sent1: if the gneiss does beat discomposure it is not damascene. sent2: the gneiss is non-damascene thing that beats gneiss if it beats discomposure. sent3: there exists something such that if it beats discomposure it is not a damascene. sent4: something is not damascene if the fact that it does beat discomposure is right. sent5: there exists something such that if it does sliver it is not thalloid. sent6: there is something such that if it is continental then it is a kind of non-nonreticulate thing that does scrounge.
$hypothesis$ = there exists something such that if it does beat discomposure then it is not damascene and it does not beat gneiss. ; $context$ = sent1: if the gneiss does beat discomposure it is not damascene. sent2: the gneiss is non-damascene thing that beats gneiss if it beats discomposure. sent3: there exists something such that if it beats discomposure it is not a damascene. sent4: something is not damascene if the fact that it does beat discomposure is right. sent5: there exists something such that if it does sliver it is not thalloid. sent6: there is something such that if it is continental then it is a kind of non-nonreticulate thing that does scrounge. ; $proof$ = 
__UNKNOWN__