the swat happens.
sent1: if the swatting does not occur then the fact that the findings does not occur and the clear does not occur is false. sent2: if the packaging happens the botulinalness happens. sent3: if the fact that the vibrating does not occur and the captioning does not occur is not true then the swatting happens. sent4: the swat does not occur if that both the swat and the botulinalness happens is not correct. sent5: the captioning does not occur. sent6: that the vibrating does not occur and the caption does not occur prevents that the botulinalness occurs. sent7: the packaging does not occur or the botulinalness does not occur or both if the picnic does not occur. sent8: the swat happens if the captioning occurs. sent9: the fact that not the vibrating but the caption happens is incorrect. sent10: if the fact that the heedlessness does not occur and the fingering does not occur is not correct the petty occurs. sent11: if not the vibrating but the caption happens then the botulinalness does not occur. sent12: the packaging happens.
void -> assump1: Let's assume that the vibrating does not occur and the caption does not occur.; sent6 & assump1 -> int1: the botulinalness does not occur.; sent2 & sent12 -> int2: that the botulinalness occurs is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the vibrating does not occur and the caption does not occur is not true.; int4 & sent3 -> hypothesis;
the swatting does not occur.
$hypothesis$ = the swat happens. ; $context$ = sent1: if the swatting does not occur then the fact that the findings does not occur and the clear does not occur is false. sent2: if the packaging happens the botulinalness happens. sent3: if the fact that the vibrating does not occur and the captioning does not occur is not true then the swatting happens. sent4: the swat does not occur if that both the swat and the botulinalness happens is not correct. sent5: the captioning does not occur. sent6: that the vibrating does not occur and the caption does not occur prevents that the botulinalness occurs. sent7: the packaging does not occur or the botulinalness does not occur or both if the picnic does not occur. sent8: the swat happens if the captioning occurs. sent9: the fact that not the vibrating but the caption happens is incorrect. sent10: if the fact that the heedlessness does not occur and the fingering does not occur is not correct the petty occurs. sent11: if not the vibrating but the caption happens then the botulinalness does not occur. sent12: the packaging happens. ; $proof$ = 
void -> assump1: Let's assume that the vibrating does not occur and the caption does not occur.; sent6 & assump1 -> int1: the botulinalness does not occur.; sent2 & sent12 -> int2: that the botulinalness occurs is not incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the vibrating does not occur and the caption does not occur is not true.; int4 & sent3 -> hypothesis; __PROVED__