that there is something such that if it is not presidential it does not optimize is not right.
sent1: there is something such that if it is not presidential it does optimize. sent2: if the fact that the alcalde is not presidential is correct then that it does not optimize is true. sent3: if the collar does not coordinate shrublet it is a serialization. sent4: something does not consider giving if the fact that it is not leeward is not incorrect.
sent2 -> hypothesis;
if the shrublet is not leeward it does not consider giving.
sent4 -> hypothesis;
$hypothesis$ = that there is something such that if it is not presidential it does not optimize is not right. ; $context$ = sent1: there is something such that if it is not presidential it does optimize. sent2: if the fact that the alcalde is not presidential is correct then that it does not optimize is true. sent3: if the collar does not coordinate shrublet it is a serialization. sent4: something does not consider giving if the fact that it is not leeward is not incorrect. ; $proof$ = 
sent2 -> hypothesis; __DISPROVED__