the employer does not permit winceyette.
sent1: everything does not permit winceyette and mopes. sent2: the craw is not a kind of an endearment and boots arthromere if the safebreaker is a greeter. sent3: if the craw is not an endearment but it does boot arthromere then the employer is not a kind of an endearment. sent4: something is not repeatable but it pouches if it is not an endearment.
sent1 -> int1: the employer does not permit winceyette and does mope.; int1 -> hypothesis;
the employer is not repeatable and does pouch.
sent4 -> int2: if the employer is not an endearment then it is a kind of non-repeatable thing that is a kind of a pouch.;
$hypothesis$ = the employer does not permit winceyette. ; $context$ = sent1: everything does not permit winceyette and mopes. sent2: the craw is not a kind of an endearment and boots arthromere if the safebreaker is a greeter. sent3: if the craw is not an endearment but it does boot arthromere then the employer is not a kind of an endearment. sent4: something is not repeatable but it pouches if it is not an endearment. ; $proof$ = 
sent1 -> int1: the employer does not permit winceyette and does mope.; int1 -> hypothesis; __PROVED__