there exists something such that if the fact that it is not a kind of a headpiece and it is not undemonstrative is incorrect then it is a mosaic.
sent1: something is a mosaic if the fact that it is both not a headpiece and not undemonstrative is not right.
sent1 -> int1: if that the X-ray is not a kind of a headpiece and it is not undemonstrative is incorrect then the fact that it is a kind of a mosaic hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a kind of a headpiece and it is not undemonstrative is incorrect then it is a mosaic. ; $context$ = sent1: something is a mosaic if the fact that it is both not a headpiece and not undemonstrative is not right. ; $proof$ = 
sent1 -> int1: if that the X-ray is not a kind of a headpiece and it is not undemonstrative is incorrect then the fact that it is a kind of a mosaic hold.; int1 -> hypothesis; __PROVED__