there is something such that if it does not dominate Espagnole it does not dominate ferroconcrete and does not symbolize dol.
sent1: if something is not an adenoid it does not dominate innervation and does not symbolize dol. sent2: there exists something such that if it is not a kind of a goalmouth then it is not a pulverization. sent3: the interleaf does not dominate ferroconcrete and it does not symbolize dol if it does not dominate Espagnole.
sent3 -> hypothesis;
the ferroconcrete does not dominate innervation and does not symbolize dol if the fact that it is not an adenoid is correct.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it does not dominate Espagnole it does not dominate ferroconcrete and does not symbolize dol. ; $context$ = sent1: if something is not an adenoid it does not dominate innervation and does not symbolize dol. sent2: there exists something such that if it is not a kind of a goalmouth then it is not a pulverization. sent3: the interleaf does not dominate ferroconcrete and it does not symbolize dol if it does not dominate Espagnole. ; $proof$ = 
sent3 -> hypothesis; __PROVED__