the decking quarrel happens.
sent1: the hurdling happens if not the waving but the uppercaseness happens. sent2: the myringotomy happens if the diabaticness does not occur but the Chechen happens. sent3: the downing pinger does not occur. sent4: that the pressure does not occur and the hoodooing promycelium does not occur prevents that the decking yucca does not occur. sent5: the hoodooing poison is caused by the myringotomy. sent6: if the imposture does not occur and the adoptableness does not occur the Chechen happens. sent7: the encrusting does not occur if that either the freestyle does not occur or the Andeanness does not occur or both is not correct. sent8: the exocrine happens or the neotenicness does not occur or both if the downing pinger does not occur. sent9: either the pharyngealness or the non-grossness or both is caused by that the unction does not occur. sent10: the metalworking occurs. sent11: that the regretfulness does not occur and the western does not occur results in that the puckering occurs. sent12: that the hoodooing poison occurs is prevented by that the exocrineness and/or the non-neotenicness occurs. sent13: the assuring happens if the fact that the Chechen does not occur and/or the diabaticness happens is not true. sent14: if the fact that either the tying does not occur or the quadraticsness does not occur or both is false the conceiving does not occur. sent15: the curricularness does not occur and the exhaustion does not occur. sent16: if the exhaustion does not occur then the downing captivation or the non-spermousness or both occurs. sent17: the downing tumble-dryer happens. sent18: the elementariness does not occur. sent19: if not the conceiving but the diabaticness occurs then the decking quarrel occurs. sent20: the imposture does not occur and the adoptableness does not occur.
sent6 & sent20 -> int1: the Chechenness occurs.; void -> assump1: Let's assume that the diabaticness does not occur.; int1 & assump1 -> int2: the diabaticness does not occur and the Chechen happens.; int2 & sent2 -> int3: the myringotomy occurs.; int3 & sent5 -> int4: the hoodooing poison occurs.; sent8 & sent3 -> int5: the exocrine and/or the non-neotenicness occurs.; sent12 & int5 -> int6: the hoodooing poison does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the diabaticness happens.;
the assuring occurs.
$hypothesis$ = the decking quarrel happens. ; $context$ = sent1: the hurdling happens if not the waving but the uppercaseness happens. sent2: the myringotomy happens if the diabaticness does not occur but the Chechen happens. sent3: the downing pinger does not occur. sent4: that the pressure does not occur and the hoodooing promycelium does not occur prevents that the decking yucca does not occur. sent5: the hoodooing poison is caused by the myringotomy. sent6: if the imposture does not occur and the adoptableness does not occur the Chechen happens. sent7: the encrusting does not occur if that either the freestyle does not occur or the Andeanness does not occur or both is not correct. sent8: the exocrine happens or the neotenicness does not occur or both if the downing pinger does not occur. sent9: either the pharyngealness or the non-grossness or both is caused by that the unction does not occur. sent10: the metalworking occurs. sent11: that the regretfulness does not occur and the western does not occur results in that the puckering occurs. sent12: that the hoodooing poison occurs is prevented by that the exocrineness and/or the non-neotenicness occurs. sent13: the assuring happens if the fact that the Chechen does not occur and/or the diabaticness happens is not true. sent14: if the fact that either the tying does not occur or the quadraticsness does not occur or both is false the conceiving does not occur. sent15: the curricularness does not occur and the exhaustion does not occur. sent16: if the exhaustion does not occur then the downing captivation or the non-spermousness or both occurs. sent17: the downing tumble-dryer happens. sent18: the elementariness does not occur. sent19: if not the conceiving but the diabaticness occurs then the decking quarrel occurs. sent20: the imposture does not occur and the adoptableness does not occur. ; $proof$ = 
sent6 & sent20 -> int1: the Chechenness occurs.; void -> assump1: Let's assume that the diabaticness does not occur.; int1 & assump1 -> int2: the diabaticness does not occur and the Chechen happens.; int2 & sent2 -> int3: the myringotomy occurs.; int3 & sent5 -> int4: the hoodooing poison occurs.; sent8 & sent3 -> int5: the exocrine and/or the non-neotenicness occurs.; sent12 & int5 -> int6: the hoodooing poison does not occur.; int4 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the diabaticness happens.; __UNKNOWN__