the capitalisticness occurs and the scrimmaging occurs.
sent1: if the fact that the homileticness happens is right then the directness does not occur. sent2: the financing occurs. sent3: both the unrealisticness and the zooming happens. sent4: the demand and/or the checkering happens. sent5: the drilling healthfulness occurs. sent6: the indirectness yields that the loop and the macrocephalicness happens. sent7: if the loop occurs the effleurage occurs. sent8: the zooming occurs and/or the popery does not occur if the effleurage occurs. sent9: the scamper occurs. sent10: that the financing does not occur and the psychosurgery does not occur is wrong. sent11: that the harness happens is not false if that the drilling strategy but not the insufflating stridor occurs does not hold. sent12: that the drilling Muscadet does not occur and the mobilization occurs is incorrect. sent13: if that the scumble but not the laryngismus happens is incorrect then the conglutinating occurs. sent14: the fact that the anathema does not occur and the recreating does not occur is false. sent15: the fact that that not the yodeling but the unrealisticness occurs is not right if the anathema does not occur is correct. sent16: the homileticness occurs if the fact that the handing happens and the demanding does not occur does not hold. sent17: the sustentacularness occurs. sent18: the central occurs if the fact that both the pilferage and the unhealthyness occurs is incorrect. sent19: if the fact that the recreating happens hold then the anathema does not occur. sent20: the scrimmaging occurs if the fact that the anathema does not occur and the recreating does not occur is wrong. sent21: the realisticness is triggered by the harness and/or that the yodeling does not occur. sent22: the fact that if the capitalisticness does not occur then that the drilling strategy occurs but the insufflating stridor does not occur is not correct is not wrong.
void -> assump1: Let's assume that the capitalisticness does not occur.; sent22 & assump1 -> int1: that the drilling strategy but not the insufflating stridor happens does not hold.; int1 & sent11 -> int2: the harnessing happens.; int2 -> int3: either the harnessing occurs or the yodeling does not occur or both.; int3 & sent21 -> int4: the unrealisticness does not occur.; sent3 -> int5: the unrealisticness occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the capitalisticness occurs.; sent20 & sent14 -> int8: the scrimmage occurs.; int7 & int8 -> hypothesis;
that both the capitalisticness and the scrimmage happens is not correct.
$hypothesis$ = the capitalisticness occurs and the scrimmaging occurs. ; $context$ = sent1: if the fact that the homileticness happens is right then the directness does not occur. sent2: the financing occurs. sent3: both the unrealisticness and the zooming happens. sent4: the demand and/or the checkering happens. sent5: the drilling healthfulness occurs. sent6: the indirectness yields that the loop and the macrocephalicness happens. sent7: if the loop occurs the effleurage occurs. sent8: the zooming occurs and/or the popery does not occur if the effleurage occurs. sent9: the scamper occurs. sent10: that the financing does not occur and the psychosurgery does not occur is wrong. sent11: that the harness happens is not false if that the drilling strategy but not the insufflating stridor occurs does not hold. sent12: that the drilling Muscadet does not occur and the mobilization occurs is incorrect. sent13: if that the scumble but not the laryngismus happens is incorrect then the conglutinating occurs. sent14: the fact that the anathema does not occur and the recreating does not occur is false. sent15: the fact that that not the yodeling but the unrealisticness occurs is not right if the anathema does not occur is correct. sent16: the homileticness occurs if the fact that the handing happens and the demanding does not occur does not hold. sent17: the sustentacularness occurs. sent18: the central occurs if the fact that both the pilferage and the unhealthyness occurs is incorrect. sent19: if the fact that the recreating happens hold then the anathema does not occur. sent20: the scrimmaging occurs if the fact that the anathema does not occur and the recreating does not occur is wrong. sent21: the realisticness is triggered by the harness and/or that the yodeling does not occur. sent22: the fact that if the capitalisticness does not occur then that the drilling strategy occurs but the insufflating stridor does not occur is not correct is not wrong. ; $proof$ = 
void -> assump1: Let's assume that the capitalisticness does not occur.; sent22 & assump1 -> int1: that the drilling strategy but not the insufflating stridor happens does not hold.; int1 & sent11 -> int2: the harnessing happens.; int2 -> int3: either the harnessing occurs or the yodeling does not occur or both.; int3 & sent21 -> int4: the unrealisticness does not occur.; sent3 -> int5: the unrealisticness occurs.; int4 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the capitalisticness occurs.; sent20 & sent14 -> int8: the scrimmage occurs.; int7 & int8 -> hypothesis; __PROVED__