the discounting does not occur.
sent1: both the stigmatizing Steuben and the adsorbableness occurs if the addiction does not occur. sent2: the comparativeness does not occur. sent3: not the splatting but the sunbeam happens if the stigmatizing Steuben occurs. sent4: that the comparative does not occur and the courante does not occur is not correct if the stripping happens. sent5: that the booting Quaternary does not occur is caused by that the splat does not occur and the sunbeam happens. sent6: the non-adsorbableness brings about that the splatting does not occur and the stigmatizing Steuben occurs. sent7: the addiction does not occur if the fact that either the side-to-sideness does not occur or the high-low-jack happens or both is wrong. sent8: the hydricness occurs if the sunbeam happens. sent9: that the discounting happens is prevented by that the booting Quaternary does not occur. sent10: if the hydricness does not occur the discount happens but the strip does not occur. sent11: the megadeath does not occur if the stripping does not occur and the hydricness happens. sent12: that the booting Quaternary does not occur causes that the megadeath does not occur and the hydricness does not occur. sent13: if the megadeath does not occur and/or the booting Quaternary does not occur then the fact that the discounting does not occur is not false. sent14: the splat occurs and the sunbeam occurs. sent15: that the megadeath does not occur and the booting Quaternary does not occur is wrong if the discount occurs. sent16: that the splatting does not occur triggers that the discount happens and the sunbeam happens. sent17: the courante does not occur.
void -> assump1: Let's assume that the strip happens.; sent4 & assump1 -> int1: the fact that the comparative does not occur and the courante does not occur does not hold.; sent2 & sent17 -> int2: the comparative does not occur and the courante does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the strip does not occur.; sent14 -> int5: the sunbeam happens.; sent8 & int5 -> int6: the hydricness occurs.; int4 & int6 -> int7: not the strip but the hydricness occurs.; int7 & sent11 -> int8: the megadeath does not occur.; int8 -> int9: the megadeath does not occur and/or the booting Quaternary does not occur.; int9 & sent13 -> hypothesis;
the fact that the discounting occurs is correct.
$hypothesis$ = the discounting does not occur. ; $context$ = sent1: both the stigmatizing Steuben and the adsorbableness occurs if the addiction does not occur. sent2: the comparativeness does not occur. sent3: not the splatting but the sunbeam happens if the stigmatizing Steuben occurs. sent4: that the comparative does not occur and the courante does not occur is not correct if the stripping happens. sent5: that the booting Quaternary does not occur is caused by that the splat does not occur and the sunbeam happens. sent6: the non-adsorbableness brings about that the splatting does not occur and the stigmatizing Steuben occurs. sent7: the addiction does not occur if the fact that either the side-to-sideness does not occur or the high-low-jack happens or both is wrong. sent8: the hydricness occurs if the sunbeam happens. sent9: that the discounting happens is prevented by that the booting Quaternary does not occur. sent10: if the hydricness does not occur the discount happens but the strip does not occur. sent11: the megadeath does not occur if the stripping does not occur and the hydricness happens. sent12: that the booting Quaternary does not occur causes that the megadeath does not occur and the hydricness does not occur. sent13: if the megadeath does not occur and/or the booting Quaternary does not occur then the fact that the discounting does not occur is not false. sent14: the splat occurs and the sunbeam occurs. sent15: that the megadeath does not occur and the booting Quaternary does not occur is wrong if the discount occurs. sent16: that the splatting does not occur triggers that the discount happens and the sunbeam happens. sent17: the courante does not occur. ; $proof$ = 
void -> assump1: Let's assume that the strip happens.; sent4 & assump1 -> int1: the fact that the comparative does not occur and the courante does not occur does not hold.; sent2 & sent17 -> int2: the comparative does not occur and the courante does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the strip does not occur.; sent14 -> int5: the sunbeam happens.; sent8 & int5 -> int6: the hydricness occurs.; int4 & int6 -> int7: not the strip but the hydricness occurs.; int7 & sent11 -> int8: the megadeath does not occur.; int8 -> int9: the megadeath does not occur and/or the booting Quaternary does not occur.; int9 & sent13 -> hypothesis; __PROVED__