the elementalness happens.
sent1: if the nonsphericalness happens that the encircling happens is not false. sent2: the disturbance does not occur if the fact that the sticking synod does not occur or the basting occurs or both is not right. sent3: the elementalness occurs if the encircling occurs. sent4: if the approval occurs the fact that the non-catarrhineness and/or the unsalableness occurs is false. sent5: the approval does not occur. sent6: the fact that the sticking synod does not occur or the basting occurs or both is false if the approval does not occur. sent7: the sticking synod occurs if the approval does not occur.
sent6 & sent5 -> int1: that the sticking synod does not occur or the basting occurs or both is not true.; sent2 & int1 -> int2: the disturbance does not occur.;
that the non-catarrhineness and/or the unsalableness happens does not hold.
$hypothesis$ = the elementalness happens. ; $context$ = sent1: if the nonsphericalness happens that the encircling happens is not false. sent2: the disturbance does not occur if the fact that the sticking synod does not occur or the basting occurs or both is not right. sent3: the elementalness occurs if the encircling occurs. sent4: if the approval occurs the fact that the non-catarrhineness and/or the unsalableness occurs is false. sent5: the approval does not occur. sent6: the fact that the sticking synod does not occur or the basting occurs or both is false if the approval does not occur. sent7: the sticking synod occurs if the approval does not occur. ; $proof$ = 
sent6 & sent5 -> int1: that the sticking synod does not occur or the basting occurs or both is not true.; sent2 & int1 -> int2: the disturbance does not occur.; __UNKNOWN__