that the headstand happens is correct.
sent1: the fact that the umbelliformness occurs but the disclaimer does not occur is not right if the revocation happens. sent2: if the occulting does not occur then the fact that the messiahship does not occur and the smocking Tanzim does not occur is false. sent3: the smocking tamarin occurs if the dilapidating borderer occurs. sent4: if that the chaining kyat does not occur hold then the revocation occurs and the dilapidating borderer happens. sent5: the retaliation does not occur if that the giveaway does not occur and the stocktake does not occur is not true. sent6: if the fact that the chaining Boise but not the messiahship happens is not correct then the chaining Boise does not occur. sent7: both the disclaimer and the umbelliformness happens. sent8: the revocation does not occur. sent9: the dilapidating borderer occurs. sent10: if the bout happens the monisticness does not occur and the spilling Humulin does not occur. sent11: if the fact that the habituating does not occur is not wrong then the fact that the chaining Boise but not the messiahship happens is wrong. sent12: if the spilling Humulin does not occur the fact that the giveaway does not occur and the stocktake does not occur is not right. sent13: if that the chaining Boise does not occur is not incorrect then the bout and the nonmetallicness happens. sent14: that the smocking dialectics and the lithophyticness happens does not hold if the retaliation does not occur. sent15: if that the smocking dialectics and the lithophyticness occurs is false the lithophyticness does not occur. sent16: the dilapidating proclamation is prevented by that both the occulting and the smocking tamarin occurs. sent17: if the revocation does not occur the messiahship does not occur and the smocking Tanzim does not occur. sent18: the umbelliformness occurs. sent19: the plutocraticness does not occur. sent20: the non-lithophyticness brings about that not the chaining kyat but the advocacy occurs. sent21: that the dilapidating proclamation does not occur and the disclaimer happens prevents that the headstand does not occur.
void -> assump1: Let's assume that the occult does not occur.; sent2 & assump1 -> int1: the fact that the messiahship does not occur and the smocking Tanzim does not occur does not hold.; sent17 & sent8 -> int2: the fact that the messiahship does not occur and the smocking Tanzim does not occur is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the occulting happens.; sent3 & sent9 -> int5: the smocking tamarin occurs.; int4 & int5 -> int6: the occult and the smocking tamarin occurs.; int6 & sent16 -> int7: the dilapidating proclamation does not occur.; sent7 -> int8: the disclaimer occurs.; int7 & int8 -> int9: not the dilapidating proclamation but the disclaimer occurs.; int9 & sent21 -> hypothesis;
the piloting does not occur.
$hypothesis$ = that the headstand happens is correct. ; $context$ = sent1: the fact that the umbelliformness occurs but the disclaimer does not occur is not right if the revocation happens. sent2: if the occulting does not occur then the fact that the messiahship does not occur and the smocking Tanzim does not occur is false. sent3: the smocking tamarin occurs if the dilapidating borderer occurs. sent4: if that the chaining kyat does not occur hold then the revocation occurs and the dilapidating borderer happens. sent5: the retaliation does not occur if that the giveaway does not occur and the stocktake does not occur is not true. sent6: if the fact that the chaining Boise but not the messiahship happens is not correct then the chaining Boise does not occur. sent7: both the disclaimer and the umbelliformness happens. sent8: the revocation does not occur. sent9: the dilapidating borderer occurs. sent10: if the bout happens the monisticness does not occur and the spilling Humulin does not occur. sent11: if the fact that the habituating does not occur is not wrong then the fact that the chaining Boise but not the messiahship happens is wrong. sent12: if the spilling Humulin does not occur the fact that the giveaway does not occur and the stocktake does not occur is not right. sent13: if that the chaining Boise does not occur is not incorrect then the bout and the nonmetallicness happens. sent14: that the smocking dialectics and the lithophyticness happens does not hold if the retaliation does not occur. sent15: if that the smocking dialectics and the lithophyticness occurs is false the lithophyticness does not occur. sent16: the dilapidating proclamation is prevented by that both the occulting and the smocking tamarin occurs. sent17: if the revocation does not occur the messiahship does not occur and the smocking Tanzim does not occur. sent18: the umbelliformness occurs. sent19: the plutocraticness does not occur. sent20: the non-lithophyticness brings about that not the chaining kyat but the advocacy occurs. sent21: that the dilapidating proclamation does not occur and the disclaimer happens prevents that the headstand does not occur. ; $proof$ = 
void -> assump1: Let's assume that the occult does not occur.; sent2 & assump1 -> int1: the fact that the messiahship does not occur and the smocking Tanzim does not occur does not hold.; sent17 & sent8 -> int2: the fact that the messiahship does not occur and the smocking Tanzim does not occur is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the occulting happens.; sent3 & sent9 -> int5: the smocking tamarin occurs.; int4 & int5 -> int6: the occult and the smocking tamarin occurs.; int6 & sent16 -> int7: the dilapidating proclamation does not occur.; sent7 -> int8: the disclaimer occurs.; int7 & int8 -> int9: not the dilapidating proclamation but the disclaimer occurs.; int9 & sent21 -> hypothesis; __PROVED__