the fact that the churning waxflower does not occur and the churning Culbertson does not occur does not hold.
sent1: both the exsiccating Crateva and the exsiccating appendage happens. sent2: the exsiccating Peter happens and the recurrence occurs. sent3: that the churning negotiator does not occur triggers that both the offness and the rapping Cestidae occurs. sent4: that the transfusion does not occur and the rapping lateen-rig does not occur is caused by that the dicarboxylicness does not occur. sent5: the rapping naboom happens. sent6: the precipitate does not occur and the heliotherapy does not occur. sent7: if the waterpower does not occur then the resinlikeness does not occur and the churning Culbertson does not occur. sent8: the rapping Innsbruck does not occur if the enterprise occurs and the waltz occurs. sent9: both the yogisticness and the rapping lateen-rig occurs. sent10: the rapping harshness happens. sent11: the nonextensileness and the menstruating happens. sent12: the rumba does not occur if the contribution does not occur. sent13: the fact that the waterpower does not occur hold if both the ECCM and the anaphasicness happens. sent14: the churning PTO does not occur. sent15: that the churning negotiator does not occur is right. sent16: that the menstruating and the churning waxflower happens causes the non-offness. sent17: both the ECCM and the anaphasicness happens. sent18: the fact that that the churning waxflower does not occur and the churning Culbertson does not occur is right is not correct if the fact that the nonextensileness does not occur is right.
sent11 -> int1: the menstruating happens.; void -> assump1: Let's assume that the churning waxflower occurs.; int1 & assump1 -> int2: the menstruating occurs and the churning waxflower occurs.; int2 & sent16 -> int3: that the offness does not occur is right.; sent3 & sent15 -> int4: the offness occurs and the rapping Cestidae occurs.; int4 -> int5: the offness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the churning waxflower does not occur.; sent13 & sent17 -> int8: the waterpower does not occur.; sent7 & int8 -> int9: the resinlikeness does not occur and the churning Culbertson does not occur.; int9 -> int10: the churning Culbertson does not occur.; int7 & int10 -> hypothesis;
that the churning waxflower does not occur and the churning Culbertson does not occur is not correct.
$hypothesis$ = the fact that the churning waxflower does not occur and the churning Culbertson does not occur does not hold. ; $context$ = sent1: both the exsiccating Crateva and the exsiccating appendage happens. sent2: the exsiccating Peter happens and the recurrence occurs. sent3: that the churning negotiator does not occur triggers that both the offness and the rapping Cestidae occurs. sent4: that the transfusion does not occur and the rapping lateen-rig does not occur is caused by that the dicarboxylicness does not occur. sent5: the rapping naboom happens. sent6: the precipitate does not occur and the heliotherapy does not occur. sent7: if the waterpower does not occur then the resinlikeness does not occur and the churning Culbertson does not occur. sent8: the rapping Innsbruck does not occur if the enterprise occurs and the waltz occurs. sent9: both the yogisticness and the rapping lateen-rig occurs. sent10: the rapping harshness happens. sent11: the nonextensileness and the menstruating happens. sent12: the rumba does not occur if the contribution does not occur. sent13: the fact that the waterpower does not occur hold if both the ECCM and the anaphasicness happens. sent14: the churning PTO does not occur. sent15: that the churning negotiator does not occur is right. sent16: that the menstruating and the churning waxflower happens causes the non-offness. sent17: both the ECCM and the anaphasicness happens. sent18: the fact that that the churning waxflower does not occur and the churning Culbertson does not occur is right is not correct if the fact that the nonextensileness does not occur is right. ; $proof$ = 
sent11 -> int1: the menstruating happens.; void -> assump1: Let's assume that the churning waxflower occurs.; int1 & assump1 -> int2: the menstruating occurs and the churning waxflower occurs.; int2 & sent16 -> int3: that the offness does not occur is right.; sent3 & sent15 -> int4: the offness occurs and the rapping Cestidae occurs.; int4 -> int5: the offness happens.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the churning waxflower does not occur.; sent13 & sent17 -> int8: the waterpower does not occur.; sent7 & int8 -> int9: the resinlikeness does not occur and the churning Culbertson does not occur.; int9 -> int10: the churning Culbertson does not occur.; int7 & int10 -> hypothesis; __DISPROVED__