that the sublimating does not occur is true.
sent1: if both the fielding pistil and the sublimating occurs then the barring shilling does not occur. sent2: the barring shilling occurs.
$hypothesis$ = that the sublimating does not occur is true. ; $context$ = sent1: if both the fielding pistil and the sublimating occurs then the barring shilling does not occur. sent2: the barring shilling occurs. ; $proof$ = 
__UNKNOWN__