the fact that there is something such that if that it surprises Dendrocolaptidae and is not a kind of a helm does not hold it is not a kind of a battalion is right.
sent1: if that something is a derv but it is not a Dirac is wrong that it is not aware is not false. sent2: there exists something such that if it does not surprise Dendrocolaptidae then it is not a battalion. sent3: the sild is not scentless if that it surprises Dendrocolaptidae and does lag excuse is not right. sent4: if that the sild surprises Dendrocolaptidae and is not a helm is not true it is not a battalion.
sent4 -> hypothesis;
there exists something such that if that it is a derv and it is not a Dirac does not hold it is not aware.
sent1 -> int1: if that the streptobacillus is both a derv and not a Dirac is false then it is not aware.; int1 -> hypothesis;
$hypothesis$ = the fact that there is something such that if that it surprises Dendrocolaptidae and is not a kind of a helm does not hold it is not a kind of a battalion is right. ; $context$ = sent1: if that something is a derv but it is not a Dirac is wrong that it is not aware is not false. sent2: there exists something such that if it does not surprise Dendrocolaptidae then it is not a battalion. sent3: the sild is not scentless if that it surprises Dendrocolaptidae and does lag excuse is not right. sent4: if that the sild surprises Dendrocolaptidae and is not a helm is not true it is not a battalion. ; $proof$ = 
sent4 -> hypothesis; __PROVED__