there is something such that if it is not revolutionary and is figurative it lexicalizes polony.
sent1: if the polony is not revolutionary but it is figurative then that it does lexicalize polony is not incorrect.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is not revolutionary and is figurative it lexicalizes polony. ; $context$ = sent1: if the polony is not revolutionary but it is figurative then that it does lexicalize polony is not incorrect. ; $proof$ = 
sent1 -> hypothesis; __PROVED__