that if the fact that the dancing Heyse occurs is not incorrect then the reducing happens is not correct.
sent1: the traditionalism occurs. sent2: that the reducing does not occur but the recess happens is brought about by that the synopticness does not occur. sent3: if that not the traditionalism but the headquartering happens is not correct then the traditionalism occurs. sent4: that both the crowning and the centered occurs is caused by that the dancing punishment does not occur. sent5: if the textileness happens then that not the traditionalism but the headquartering happens does not hold. sent6: the reducing happens if the headquartering does not occur. sent7: that the dancing punishment does not occur is caused by that not the recall but the designation occurs. sent8: the persisting happens. sent9: the read occurs. sent10: that the synopticness occurs is prevented by that the crown happens. sent11: the dancing Heyse occurs if the textileness occurs and/or the headquartering occurs. sent12: either the abaxialness happens or the acronymicness occurs or both. sent13: that the viricidalness does not occur is wrong. sent14: that the welcoming does not occur is caused by that the fundamental and/or the scudding happens. sent15: that the dancing Heyse does not occur is triggered by that either the textileness or the headquartering or both occurs. sent16: the dancing Heyse does not occur if the textileness occurs. sent17: if the crown occurs the stipulation does not occur. sent18: the words occurs.
void -> assump2: Let's assume that the dancing Heyse occurs.; void -> assump1: Let's assume that the headquartering occurs.; assump1 -> int1: the textileness and/or the headquartering occurs.; sent15 & int1 -> int2: the dancing Heyse does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the headquartering does not occur.; sent6 & int4 -> int5: the reducing happens.; [assump2] & int5 -> hypothesis;
either the traditionalism happens or the deactivation happens or both.
$hypothesis$ = that if the fact that the dancing Heyse occurs is not incorrect then the reducing happens is not correct. ; $context$ = sent1: the traditionalism occurs. sent2: that the reducing does not occur but the recess happens is brought about by that the synopticness does not occur. sent3: if that not the traditionalism but the headquartering happens is not correct then the traditionalism occurs. sent4: that both the crowning and the centered occurs is caused by that the dancing punishment does not occur. sent5: if the textileness happens then that not the traditionalism but the headquartering happens does not hold. sent6: the reducing happens if the headquartering does not occur. sent7: that the dancing punishment does not occur is caused by that not the recall but the designation occurs. sent8: the persisting happens. sent9: the read occurs. sent10: that the synopticness occurs is prevented by that the crown happens. sent11: the dancing Heyse occurs if the textileness occurs and/or the headquartering occurs. sent12: either the abaxialness happens or the acronymicness occurs or both. sent13: that the viricidalness does not occur is wrong. sent14: that the welcoming does not occur is caused by that the fundamental and/or the scudding happens. sent15: that the dancing Heyse does not occur is triggered by that either the textileness or the headquartering or both occurs. sent16: the dancing Heyse does not occur if the textileness occurs. sent17: if the crown occurs the stipulation does not occur. sent18: the words occurs. ; $proof$ = 
void -> assump2: Let's assume that the dancing Heyse occurs.; void -> assump1: Let's assume that the headquartering occurs.; assump1 -> int1: the textileness and/or the headquartering occurs.; sent15 & int1 -> int2: the dancing Heyse does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the headquartering does not occur.; sent6 & int4 -> int5: the reducing happens.; [assump2] & int5 -> hypothesis; __DISPROVED__