there is something such that if it is not distant it is not non-faceless but interstitial.
sent1: the agamid is faceless and it is interstitial if the fact that it is not distant is true.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not distant it is not non-faceless but interstitial. ; $context$ = sent1: the agamid is faceless and it is interstitial if the fact that it is not distant is true. ; $proof$ = 
sent1 -> hypothesis; __PROVED__