the fact that the intemperateness and/or the condoling andrena occurs if the condoling ackee does not occur is not right.
sent1: the deterrence does not occur. sent2: if the fact that the blastomericness does not occur is not false the marmoreanness occurs. sent3: if the bending highroad happens then the condoling ackee happens. sent4: that the heroicsness does not occur is prevented by that the environmentalness occurs. sent5: either the intemperateness happens or the condoling andrena occurs or both if the condoling ackee happens. sent6: if that the stencil occurs is not wrong then the billing occurs. sent7: the amygdalotomy happens. sent8: the condoling andrena happens if the bending highroad does not occur. sent9: the dichotomization occurs. sent10: the Hebrideanness does not occur. sent11: that if the bending cupule occurs the bending redetermination and/or the documentary occurs is true. sent12: the lumbosacralness does not occur. sent13: the sledding happens. sent14: the spraying happens. sent15: if the abidance happens the fugalness happens. sent16: the Scythian does not occur. sent17: if the diffracting occurs the sadomasochisticness or the manslaughter or both occurs.
void -> assump1: Let's assume that the bending highroad happens.; sent3 & assump1 -> int1: the condoling ackee happens.; void -> assump2: Let's assume that the condoling ackee does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bending highroad does not occur.; int3 & sent8 -> int4: the condoling andrena occurs.; int4 -> int5: the intemperateness happens or the condoling andrena occurs or both.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the fact that the intemperateness and/or the condoling andrena occurs if the condoling ackee does not occur is not right. ; $context$ = sent1: the deterrence does not occur. sent2: if the fact that the blastomericness does not occur is not false the marmoreanness occurs. sent3: if the bending highroad happens then the condoling ackee happens. sent4: that the heroicsness does not occur is prevented by that the environmentalness occurs. sent5: either the intemperateness happens or the condoling andrena occurs or both if the condoling ackee happens. sent6: if that the stencil occurs is not wrong then the billing occurs. sent7: the amygdalotomy happens. sent8: the condoling andrena happens if the bending highroad does not occur. sent9: the dichotomization occurs. sent10: the Hebrideanness does not occur. sent11: that if the bending cupule occurs the bending redetermination and/or the documentary occurs is true. sent12: the lumbosacralness does not occur. sent13: the sledding happens. sent14: the spraying happens. sent15: if the abidance happens the fugalness happens. sent16: the Scythian does not occur. sent17: if the diffracting occurs the sadomasochisticness or the manslaughter or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the bending highroad happens.; sent3 & assump1 -> int1: the condoling ackee happens.; void -> assump2: Let's assume that the condoling ackee does not occur.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the bending highroad does not occur.; int3 & sent8 -> int4: the condoling andrena occurs.; int4 -> int5: the intemperateness happens or the condoling andrena occurs or both.; [assump2] & int5 -> hypothesis; __DISPROVED__