there exists something such that the fact that it is a tub hold.
sent1: the interference is a kind of a Sequoiadendron. sent2: the scone is a tub if the fact that it is a Sequoiadendron hold. sent3: the scone is a Sequoiadendron. sent4: the scone is a kind of a cryoscope. sent5: that there exists something such that it is a Sequoiadendron is right. sent6: that the scone spreads preservation is not wrong.
sent2 & sent3 -> int1: the scone is a tub.; int1 -> hypothesis;
$hypothesis$ = there exists something such that the fact that it is a tub hold. ; $context$ = sent1: the interference is a kind of a Sequoiadendron. sent2: the scone is a tub if the fact that it is a Sequoiadendron hold. sent3: the scone is a Sequoiadendron. sent4: the scone is a kind of a cryoscope. sent5: that there exists something such that it is a Sequoiadendron is right. sent6: that the scone spreads preservation is not wrong. ; $proof$ = 
sent2 & sent3 -> int1: the scone is a tub.; int1 -> hypothesis; __PROVED__