the collaring jaguar occurs if the collaring unworthiness happens.
sent1: either the rebound or the collaring unworthiness or both happens if the collaring jaguar does not occur. sent2: the mumbling occurs. sent3: the collaring jaguar occurs if either the rebound does not occur or the supplication happens or both. sent4: that the entailing halite does not occur is brought about by that the rebound does not occur. sent5: the collaring unworthiness does not occur if the mumbling happens and the rebound occurs. sent6: if that the commandership occurs is not wrong the taxableness occurs. sent7: the clouting Hymenanthera and the clouting benzoate happens. sent8: the acetonicness happens. sent9: if the mumbling occurs and the rebound happens then the fact that the collaring unworthiness happens hold. sent10: the entailing neglecter happens. sent11: either the rebound happens or the supplication happens or both. sent12: if that the insurgency happens is correct that the nonalcoholicness happens is not false. sent13: the ramification does not occur. sent14: that the enslavement does not occur is prevented by that the invitation does not occur and/or the remove occurs. sent15: the collaring jaguar does not occur if that the collaring jaguar and the frontalness occurs is wrong.
void -> assump1: Let's assume that the fact that the collaring unworthiness happens is right.; void -> assump2: Let's assume that the rebound occurs.; sent2 & assump2 -> int1: the mumbling occurs and the rebound happens.; sent5 & int1 -> int2: the collaring unworthiness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the rebound does not occur.; int4 -> int5: the rebound does not occur and/or the supplication happens.; sent3 & int5 -> int6: the collaring jaguar happens.; [assump1] & int6 -> hypothesis;
both the coitalness and the staggering happens.
$hypothesis$ = the collaring jaguar occurs if the collaring unworthiness happens. ; $context$ = sent1: either the rebound or the collaring unworthiness or both happens if the collaring jaguar does not occur. sent2: the mumbling occurs. sent3: the collaring jaguar occurs if either the rebound does not occur or the supplication happens or both. sent4: that the entailing halite does not occur is brought about by that the rebound does not occur. sent5: the collaring unworthiness does not occur if the mumbling happens and the rebound occurs. sent6: if that the commandership occurs is not wrong the taxableness occurs. sent7: the clouting Hymenanthera and the clouting benzoate happens. sent8: the acetonicness happens. sent9: if the mumbling occurs and the rebound happens then the fact that the collaring unworthiness happens hold. sent10: the entailing neglecter happens. sent11: either the rebound happens or the supplication happens or both. sent12: if that the insurgency happens is correct that the nonalcoholicness happens is not false. sent13: the ramification does not occur. sent14: that the enslavement does not occur is prevented by that the invitation does not occur and/or the remove occurs. sent15: the collaring jaguar does not occur if that the collaring jaguar and the frontalness occurs is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the collaring unworthiness happens is right.; void -> assump2: Let's assume that the rebound occurs.; sent2 & assump2 -> int1: the mumbling occurs and the rebound happens.; sent5 & int1 -> int2: the collaring unworthiness does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the rebound does not occur.; int4 -> int5: the rebound does not occur and/or the supplication happens.; sent3 & int5 -> int6: the collaring jaguar happens.; [assump1] & int6 -> hypothesis; __PROVED__