if the agonalness occurs the protestation does not occur.
sent1: that the drumming but not the thriftiness occurs brings about that the protestation does not occur. sent2: if the fact that the agonalness occurs is not false then the protestation occurs. sent3: the glandularness does not occur if that the mischief does not occur and the glandularness occurs is not right. sent4: if the fact that not the sampling flap but the exalting phylloquinone happens is not right then that the exalting typification does not occur is right. sent5: that the passing happens results in the non-agonalness. sent6: if that the passing does not occur and the drumming occurs does not hold then the agonalness does not occur. sent7: if the mischief does not occur then the glandularness occurs and the exalting domatium occurs. sent8: the passing does not occur. sent9: the protestation occurs. sent10: that the drumming and the non-thriftiness happens results in that the protestation happens. sent11: the caravanning does not occur if the protestation occurs and the controversy does not occur. sent12: that the mischief does not occur but the glandularness occurs is incorrect. sent13: if that the productiveness does not occur and the exalting vengeance does not occur is not true the mischief does not occur. sent14: the take-up happens. sent15: the overtaking does not occur. sent16: the controversy does not occur. sent17: the fact that the passing and the drumming happens is not correct. sent18: that the productiveness does not occur and the exalting vengeance does not occur is not true if the perceiving surtax does not occur. sent19: if the fact that the glandularness happens is not incorrect then the protestation but not the controversy occurs. sent20: the inattentiveness does not occur. sent21: that the perceiving surtax does not occur is caused by the Slav.
void -> assump2: Let's assume that that not the passing but the drumming happens is not true.; sent6 & assump2 -> int1: the fact that the agonalness does not occur is right.; void -> assump1: Let's assume that the agonalness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the passing but the drumming occurs.; int3 -> int4: the drumming occurs.; sent3 & sent12 -> int5: the glandularness does not occur.; sent16 & int5 -> int6: the controversy does not occur and the glandularness does not occur.;
the caravanning does not occur and the perceiving Sacco does not occur.
$hypothesis$ = if the agonalness occurs the protestation does not occur. ; $context$ = sent1: that the drumming but not the thriftiness occurs brings about that the protestation does not occur. sent2: if the fact that the agonalness occurs is not false then the protestation occurs. sent3: the glandularness does not occur if that the mischief does not occur and the glandularness occurs is not right. sent4: if the fact that not the sampling flap but the exalting phylloquinone happens is not right then that the exalting typification does not occur is right. sent5: that the passing happens results in the non-agonalness. sent6: if that the passing does not occur and the drumming occurs does not hold then the agonalness does not occur. sent7: if the mischief does not occur then the glandularness occurs and the exalting domatium occurs. sent8: the passing does not occur. sent9: the protestation occurs. sent10: that the drumming and the non-thriftiness happens results in that the protestation happens. sent11: the caravanning does not occur if the protestation occurs and the controversy does not occur. sent12: that the mischief does not occur but the glandularness occurs is incorrect. sent13: if that the productiveness does not occur and the exalting vengeance does not occur is not true the mischief does not occur. sent14: the take-up happens. sent15: the overtaking does not occur. sent16: the controversy does not occur. sent17: the fact that the passing and the drumming happens is not correct. sent18: that the productiveness does not occur and the exalting vengeance does not occur is not true if the perceiving surtax does not occur. sent19: if the fact that the glandularness happens is not incorrect then the protestation but not the controversy occurs. sent20: the inattentiveness does not occur. sent21: that the perceiving surtax does not occur is caused by the Slav. ; $proof$ = 
void -> assump2: Let's assume that that not the passing but the drumming happens is not true.; sent6 & assump2 -> int1: the fact that the agonalness does not occur is right.; void -> assump1: Let's assume that the agonalness happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: not the passing but the drumming occurs.; int3 -> int4: the drumming occurs.; sent3 & sent12 -> int5: the glandularness does not occur.; sent16 & int5 -> int6: the controversy does not occur and the glandularness does not occur.; __UNKNOWN__