there exists something such that if it is opaque then the fact that the fact that it is not inadvisable and it does not menstruate lumma is right is incorrect.
sent1: there exists something such that if it is opaque that it is non-inadvisable thing that menstruates lumma is incorrect. sent2: if something is opaque then that it is a kind of inadvisable thing that does not menstruate lumma is incorrect.
$hypothesis$ = there exists something such that if it is opaque then the fact that the fact that it is not inadvisable and it does not menstruate lumma is right is incorrect. ; $context$ = sent1: there exists something such that if it is opaque that it is non-inadvisable thing that menstruates lumma is incorrect. sent2: if something is opaque then that it is a kind of inadvisable thing that does not menstruate lumma is incorrect. ; $proof$ = 
__UNKNOWN__