the defusing Mashriq happens.
sent1: the guaranteeing enate occurs. sent2: the concussion occurs. sent3: that both the parading and the sermon occurs is caused by that the spurring does not occur. sent4: that both the tagging courlan and the non-actinalness occurs does not hold. sent5: the recumbing occurs if the fact that the recumbing does not occur and the betteringness occurs does not hold. sent6: if the annexation does not occur then the onsideness does not occur. sent7: the gap does not occur. sent8: both the familiarity and the guaranteeing enate occurs if the medication does not occur. sent9: if that the defusing tern happens and the parading does not occur is not right then the defusing tern does not occur. sent10: that the tagging sylph happens but the recasting cryptomonad does not occur is brought about by that the familiarity does not occur. sent11: if the retrofit does not occur then the defusing Mashriq but not the medication occurs. sent12: if the recumbing happens then that the defusing tern but not the parade occurs is not true. sent13: if the defusing tern occurs the fact that the fact that the retrofitting happens and/or the bleaching does not occur is false hold. sent14: if the fact that the familiarity does not occur hold then the defusing Mashriq does not occur. sent15: that the recumbing does not occur and the bettering occurs does not hold if the parade occurs. sent16: the defusing Mashriq happens if the familiarity occurs. sent17: if that the familiarity but not the guaranteeing enate occurs is false then the defusing Mashriq does not occur. sent18: the medication does not occur if the fact that the retrofit occurs or the bleaching does not occur or both is not true. sent19: the tagging racerunner happens. sent20: if that the recumbing occurs is correct the defusing tern occurs.
void -> assump1: Let's assume that the familiarity but not the guaranteeing enate happens.; assump1 -> int1: the guaranteeing enate does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the familiarity happens but the guaranteeing enate does not occur is incorrect.; int3 & sent17 -> hypothesis;
the defusing Mashriq occurs.
$hypothesis$ = the defusing Mashriq happens. ; $context$ = sent1: the guaranteeing enate occurs. sent2: the concussion occurs. sent3: that both the parading and the sermon occurs is caused by that the spurring does not occur. sent4: that both the tagging courlan and the non-actinalness occurs does not hold. sent5: the recumbing occurs if the fact that the recumbing does not occur and the betteringness occurs does not hold. sent6: if the annexation does not occur then the onsideness does not occur. sent7: the gap does not occur. sent8: both the familiarity and the guaranteeing enate occurs if the medication does not occur. sent9: if that the defusing tern happens and the parading does not occur is not right then the defusing tern does not occur. sent10: that the tagging sylph happens but the recasting cryptomonad does not occur is brought about by that the familiarity does not occur. sent11: if the retrofit does not occur then the defusing Mashriq but not the medication occurs. sent12: if the recumbing happens then that the defusing tern but not the parade occurs is not true. sent13: if the defusing tern occurs the fact that the fact that the retrofitting happens and/or the bleaching does not occur is false hold. sent14: if the fact that the familiarity does not occur hold then the defusing Mashriq does not occur. sent15: that the recumbing does not occur and the bettering occurs does not hold if the parade occurs. sent16: the defusing Mashriq happens if the familiarity occurs. sent17: if that the familiarity but not the guaranteeing enate occurs is false then the defusing Mashriq does not occur. sent18: the medication does not occur if the fact that the retrofit occurs or the bleaching does not occur or both is not true. sent19: the tagging racerunner happens. sent20: if that the recumbing occurs is correct the defusing tern occurs. ; $proof$ = 
void -> assump1: Let's assume that the familiarity but not the guaranteeing enate happens.; assump1 -> int1: the guaranteeing enate does not occur.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the familiarity happens but the guaranteeing enate does not occur is incorrect.; int3 & sent17 -> hypothesis; __DISPROVED__