there is something such that if the fact that it is a kind of filar thing that is wise is not false then it does not originate.
sent1: something is a kind of a venality if it reconvenes and is upper-class. sent2: if the fountainhead is a strand and it is parturient then it does not originate. sent3: the fact that something does not originate is correct if it is both not non-filar and not non-wise. sent4: if something is downmarket and does redecorate Procellariidae then it does not tincture blastomycete.
sent3 -> int1: the fountainhead does not originate if it is a kind of filar a wise.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a kind of filar thing that is wise is not false then it does not originate. ; $context$ = sent1: something is a kind of a venality if it reconvenes and is upper-class. sent2: if the fountainhead is a strand and it is parturient then it does not originate. sent3: the fact that something does not originate is correct if it is both not non-filar and not non-wise. sent4: if something is downmarket and does redecorate Procellariidae then it does not tincture blastomycete. ; $proof$ = 
sent3 -> int1: the fountainhead does not originate if it is a kind of filar a wise.; int1 -> hypothesis; __PROVED__