there exists something such that if that it does not usher Phoebe and does not usher narwhal is false the fact that it embowers cefoperazone is not wrong.
sent1: the narwhal does embower cefoperazone if the fact that it does not usher Phoebe and does not usher narwhal is incorrect.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if that it does not usher Phoebe and does not usher narwhal is false the fact that it embowers cefoperazone is not wrong. ; $context$ = sent1: the narwhal does embower cefoperazone if the fact that it does not usher Phoebe and does not usher narwhal is incorrect. ; $proof$ = 
sent1 -> hypothesis; __PROVED__