either the abusing pregnanediol occurs or the hopping granny happens or both.
sent1: the ladling branching does not occur if the ladling fizzing does not occur. sent2: if the achondroplasticness occurs the thermostaticness occurs. sent3: the inexpedientness does not occur. sent4: if the inexpedientness does not occur then the plundering occurs and the manhunt happens. sent5: the achondroplasticness happens if the lumbarness occurs. sent6: the thermostaticness does not occur if the burying friendly and the abusing pregnanediol occurs. sent7: that the burying friendly and the protectiveness occurs is caused by that the auspice does not occur. sent8: if the burying acyl does not occur that the abusing pregnanediol and/or the hopping granny occurs does not hold. sent9: the auspice does not occur. sent10: the protectiveness does not occur or the auspice does not occur or both if the ladling branching does not occur. sent11: the thinkableness does not occur if the lumbarness occurs but the burying acyl does not occur. sent12: if the plundering occurs the splashiness does not occur and the ladling fizzing does not occur. sent13: the burying friendly does not occur if the thermostaticness happens. sent14: if the burying acyl happens then the lumbarness happens.
void -> assump1: Let's assume that the burying acyl occurs.; sent14 & assump1 -> int1: the lumbarness happens.; int1 & sent5 -> int2: the achondroplasticness happens.; int2 & sent2 -> int3: the fact that the thermostaticness happens is correct.; int3 & sent13 -> int4: the burying friendly does not occur.; sent7 & sent9 -> int5: both the burying friendly and the protectiveness happens.; int5 -> int6: the burying friendly occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the burying acyl does not occur.; int8 & sent8 -> hypothesis;
the thinkableness does not occur.
sent4 & sent3 -> int9: the plundering happens and the manhunt happens.; int9 -> int10: the plundering happens.; sent12 & int10 -> int11: the splashiness does not occur and the ladling fizzing does not occur.; int11 -> int12: the ladling fizzing does not occur.; sent1 & int12 -> int13: the ladling branching does not occur.; sent10 & int13 -> int14: the protectiveness does not occur and/or the auspice does not occur.;
$hypothesis$ = either the abusing pregnanediol occurs or the hopping granny happens or both. ; $context$ = sent1: the ladling branching does not occur if the ladling fizzing does not occur. sent2: if the achondroplasticness occurs the thermostaticness occurs. sent3: the inexpedientness does not occur. sent4: if the inexpedientness does not occur then the plundering occurs and the manhunt happens. sent5: the achondroplasticness happens if the lumbarness occurs. sent6: the thermostaticness does not occur if the burying friendly and the abusing pregnanediol occurs. sent7: that the burying friendly and the protectiveness occurs is caused by that the auspice does not occur. sent8: if the burying acyl does not occur that the abusing pregnanediol and/or the hopping granny occurs does not hold. sent9: the auspice does not occur. sent10: the protectiveness does not occur or the auspice does not occur or both if the ladling branching does not occur. sent11: the thinkableness does not occur if the lumbarness occurs but the burying acyl does not occur. sent12: if the plundering occurs the splashiness does not occur and the ladling fizzing does not occur. sent13: the burying friendly does not occur if the thermostaticness happens. sent14: if the burying acyl happens then the lumbarness happens. ; $proof$ = 
void -> assump1: Let's assume that the burying acyl occurs.; sent14 & assump1 -> int1: the lumbarness happens.; int1 & sent5 -> int2: the achondroplasticness happens.; int2 & sent2 -> int3: the fact that the thermostaticness happens is correct.; int3 & sent13 -> int4: the burying friendly does not occur.; sent7 & sent9 -> int5: both the burying friendly and the protectiveness happens.; int5 -> int6: the burying friendly occurs.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the burying acyl does not occur.; int8 & sent8 -> hypothesis; __DISPROVED__