the fact that there exists something such that if the fact that it is a kind of a manifestation and does not transmute is not right then it is translunar is not correct.
sent1: there is something such that if it does transmute it is translunar. sent2: the teiid is translunar if that it is a manifestation and it does not transmute does not hold.
sent2 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is a kind of a manifestation and does not transmute is not right then it is translunar is not correct. ; $context$ = sent1: there is something such that if it does transmute it is translunar. sent2: the teiid is translunar if that it is a manifestation and it does not transmute does not hold. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__