there exists something such that if that the fact that it does interpolate hay and is a instillation hold is not right it does not bunk.
sent1: there is something such that if the fact that it interpolates hay and it is a instillation is wrong then it is a bunk. sent2: there exists something such that if it interpolates hay and it is a instillation then it is not a bunk. sent3: if that the piano interpolates hay and is a instillation is wrong then it bunks. sent4: the piano is not a bunk if the fact that it interpolates hay and it is a instillation is not right. sent5: if the piano does not interpolate hay it is not a bunk. sent6: there is something such that if it is not a instillation then it is not a bunk.
sent4 -> hypothesis;
$hypothesis$ = there exists something such that if that the fact that it does interpolate hay and is a instillation hold is not right it does not bunk. ; $context$ = sent1: there is something such that if the fact that it interpolates hay and it is a instillation is wrong then it is a bunk. sent2: there exists something such that if it interpolates hay and it is a instillation then it is not a bunk. sent3: if that the piano interpolates hay and is a instillation is wrong then it bunks. sent4: the piano is not a bunk if the fact that it interpolates hay and it is a instillation is not right. sent5: if the piano does not interpolate hay it is not a bunk. sent6: there is something such that if it is not a instillation then it is not a bunk. ; $proof$ = 
sent4 -> hypothesis; __PROVED__