there exists something such that if it is igneous then the fact that it does heal shoveler is not incorrect.
sent1: the tea-strainer does not heal shoveler. sent2: that if the Rh does not heal shoveler then the Rh is vice-presidential is right. sent3: the Rh is vice-presidential. sent4: something is vice-presidential and clad if the fact that it does not heal shoveler is not incorrect. sent5: if something does not heal shoveler then the fact that it is vice-presidential hold. sent6: if the Rh is vice-presidential and it is clad then it is igneous. sent7: there exists something such that if it is cellular that it is a lock hold. sent8: if the Rh is clad and it is a trial then it does delineate.
sent4 -> int1: that the Rh is vice-presidential thing that is clad if the Rh does not heal shoveler hold.; void -> assump2: Let's assume that the Rh does not heal shoveler.; int1 & assump2 -> int2: the Rh is vice-presidential and it is clad.;
$hypothesis$ = there exists something such that if it is igneous then the fact that it does heal shoveler is not incorrect. ; $context$ = sent1: the tea-strainer does not heal shoveler. sent2: that if the Rh does not heal shoveler then the Rh is vice-presidential is right. sent3: the Rh is vice-presidential. sent4: something is vice-presidential and clad if the fact that it does not heal shoveler is not incorrect. sent5: if something does not heal shoveler then the fact that it is vice-presidential hold. sent6: if the Rh is vice-presidential and it is clad then it is igneous. sent7: there exists something such that if it is cellular that it is a lock hold. sent8: if the Rh is clad and it is a trial then it does delineate. ; $proof$ = 
sent4 -> int1: that the Rh is vice-presidential thing that is clad if the Rh does not heal shoveler hold.; void -> assump2: Let's assume that the Rh does not heal shoveler.; int1 & assump2 -> int2: the Rh is vice-presidential and it is clad.; __UNKNOWN__