there is something such that if it does not dawn and it is a enterotoxemia it is a gallina.
sent1: something is a gallina if it is not a dawn and it is a enterotoxemia.
sent1 -> int1: if the striker is not a dawn but it is a kind of a enterotoxemia then it is a kind of a gallina.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not dawn and it is a enterotoxemia it is a gallina. ; $context$ = sent1: something is a gallina if it is not a dawn and it is a enterotoxemia. ; $proof$ = 
sent1 -> int1: if the striker is not a dawn but it is a kind of a enterotoxemia then it is a kind of a gallina.; int1 -> hypothesis; __PROVED__