the impeding Cercopithecidae happens.
sent1: that the development does not occur if the fact that the development happens and the impeding pitchstone occurs is false hold. sent2: if that the budgeting flock does not occur and the grassfire occurs is not true the refining Shannon does not occur. sent3: the badminton does not occur. sent4: the budgeting auxin happens. sent5: if the tailspin happens then that the budgeting flock does not occur and the grassfire occurs is false. sent6: the fact that the siding acromion does not occur and the refining misappropriation does not occur is not false if that the douche occurs is not wrong. sent7: that the budgeting auxin does not occur hold if the acinarness occurs. sent8: that the heedlessness and the gamble happens is triggered by that the siding acromion does not occur. sent9: if the development does not occur the siding Necturus happens and the tailspin occurs. sent10: if the fact that the refining Shannon does not occur is not false the siding picador and the douche happens. sent11: the siding basset occurs if the gamble occurs. sent12: the fact that the development and the impeding pitchstone happens does not hold if the conformation does not occur. sent13: if the Russian does not occur the conformation does not occur. sent14: that the acinarness does not occur and the siding basset does not occur results in that the impeding Cercopithecidae does not occur. sent15: that the siding basset does not occur is not wrong. sent16: that the budgeting auxin does not occur but the acinarness happens brings about that the impeding Cercopithecidae happens.
void -> assump1: Let's assume that the acinarness occurs.; sent7 & assump1 -> int1: the budgeting auxin does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the acinarness does not occur.; int3 & sent15 -> int4: the acinarness does not occur and the siding basset does not occur.; int4 & sent14 -> hypothesis;
the impeding Cercopithecidae happens.
$hypothesis$ = the impeding Cercopithecidae happens. ; $context$ = sent1: that the development does not occur if the fact that the development happens and the impeding pitchstone occurs is false hold. sent2: if that the budgeting flock does not occur and the grassfire occurs is not true the refining Shannon does not occur. sent3: the badminton does not occur. sent4: the budgeting auxin happens. sent5: if the tailspin happens then that the budgeting flock does not occur and the grassfire occurs is false. sent6: the fact that the siding acromion does not occur and the refining misappropriation does not occur is not false if that the douche occurs is not wrong. sent7: that the budgeting auxin does not occur hold if the acinarness occurs. sent8: that the heedlessness and the gamble happens is triggered by that the siding acromion does not occur. sent9: if the development does not occur the siding Necturus happens and the tailspin occurs. sent10: if the fact that the refining Shannon does not occur is not false the siding picador and the douche happens. sent11: the siding basset occurs if the gamble occurs. sent12: the fact that the development and the impeding pitchstone happens does not hold if the conformation does not occur. sent13: if the Russian does not occur the conformation does not occur. sent14: that the acinarness does not occur and the siding basset does not occur results in that the impeding Cercopithecidae does not occur. sent15: that the siding basset does not occur is not wrong. sent16: that the budgeting auxin does not occur but the acinarness happens brings about that the impeding Cercopithecidae happens. ; $proof$ = 
void -> assump1: Let's assume that the acinarness occurs.; sent7 & assump1 -> int1: the budgeting auxin does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: the acinarness does not occur.; int3 & sent15 -> int4: the acinarness does not occur and the siding basset does not occur.; int4 & sent14 -> hypothesis; __DISPROVED__