there is something such that if it is a kind of a Advent then it is not Dantean and it is a ERA.
sent1: the fountainhead is non-Dantean thing that is a ERA if it is a Advent.
sent1 -> hypothesis;
$hypothesis$ = there is something such that if it is a kind of a Advent then it is not Dantean and it is a ERA. ; $context$ = sent1: the fountainhead is non-Dantean thing that is a ERA if it is a Advent. ; $proof$ = 
sent1 -> hypothesis; __PROVED__