there exists something such that if it is a kind of a dobra then it is a kind of a horror and it is not a syrinx.
sent1: the retailer is a horror but it is not a syrinx if it is a dobra. sent2: there exists something such that if it is a dobra it is a horror. sent3: there exists something such that if the fact that it is a dobra is true it is a horror and a syrinx. sent4: something that participates does outshout downstroke and is not bituminoid.
sent1 -> hypothesis;
the pollinator does outshout downstroke but it is not bituminoid if it does participate.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if it is a kind of a dobra then it is a kind of a horror and it is not a syrinx. ; $context$ = sent1: the retailer is a horror but it is not a syrinx if it is a dobra. sent2: there exists something such that if it is a dobra it is a horror. sent3: there exists something such that if the fact that it is a dobra is true it is a horror and a syrinx. sent4: something that participates does outshout downstroke and is not bituminoid. ; $proof$ = 
sent1 -> hypothesis; __PROVED__