there exists something such that if it is not infelicitous and is not anarchistic it is not a manifest.
sent1: there exists something such that if it is both not infelicitous and not anarchistic it manifests. sent2: there exists something such that if the fact that it does not dictate gabapentin and is not biotitic is not false it is appealable. sent3: the eggbeater does not manifest if it is felicitous thing that is not anarchistic.
sent3 -> hypothesis;
$hypothesis$ = there exists something such that if it is not infelicitous and is not anarchistic it is not a manifest. ; $context$ = sent1: there exists something such that if it is both not infelicitous and not anarchistic it manifests. sent2: there exists something such that if the fact that it does not dictate gabapentin and is not biotitic is not false it is appealable. sent3: the eggbeater does not manifest if it is felicitous thing that is not anarchistic. ; $proof$ = 
sent3 -> hypothesis; __PROVED__