there exists something such that if it is a kind of a Sealyham and it is not Slavonic it is anatropous.
sent1: the gaslight is anatropous if it is a Sealyham and is not Slavonic.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a Sealyham and it is not Slavonic it is anatropous. ; $context$ = sent1: the gaslight is anatropous if it is a Sealyham and is not Slavonic. ; $proof$ = 
sent1 -> hypothesis; __PROVED__