there exists something such that if it is a flounder it is both a farmer and not antisatellite.
sent1: there exists something such that if it bedizens sumac then it does fit ayatollah and it is not an antiphon. sent2: if the ayatollah is a flounder it is not antisatellite.
$hypothesis$ = there exists something such that if it is a flounder it is both a farmer and not antisatellite. ; $context$ = sent1: there exists something such that if it bedizens sumac then it does fit ayatollah and it is not an antiphon. sent2: if the ayatollah is a flounder it is not antisatellite. ; $proof$ = 
__UNKNOWN__