the recasting hurl does not occur.
sent1: the recasting hurl happens if that the lower-classness happens and/or the tagging charity does not occur does not hold. sent2: that not the indexing but the steaming occurs results in that the tagging charity does not occur. sent3: that the steaming happens is prevented by the lower-classness. sent4: either the steaming happens or the indexing does not occur or both. sent5: that the guaranteeing shotgun does not occur yields the riding. sent6: that the jumper occurs is triggered by that the cautery does not occur. sent7: that the tagging charity does not occur prevents the steam. sent8: the fact that the steam occurs is true if the steam happens and/or the indexing does not occur. sent9: that the reach does not occur results in the scrimmaging.
void -> assump1: Let's assume that the lower-classness happens and/or the tagging charity does not occur.; assump1 & sent3 & sent7 -> int1: the steaming does not occur.; sent8 & sent4 -> int2: the steam occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the lower-classness occurs and/or the tagging charity does not occur is not true.; int4 & sent1 -> hypothesis;
the recasting hurl does not occur.
$hypothesis$ = the recasting hurl does not occur. ; $context$ = sent1: the recasting hurl happens if that the lower-classness happens and/or the tagging charity does not occur does not hold. sent2: that not the indexing but the steaming occurs results in that the tagging charity does not occur. sent3: that the steaming happens is prevented by the lower-classness. sent4: either the steaming happens or the indexing does not occur or both. sent5: that the guaranteeing shotgun does not occur yields the riding. sent6: that the jumper occurs is triggered by that the cautery does not occur. sent7: that the tagging charity does not occur prevents the steam. sent8: the fact that the steam occurs is true if the steam happens and/or the indexing does not occur. sent9: that the reach does not occur results in the scrimmaging. ; $proof$ = 
void -> assump1: Let's assume that the lower-classness happens and/or the tagging charity does not occur.; assump1 & sent3 & sent7 -> int1: the steaming does not occur.; sent8 & sent4 -> int2: the steam occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the lower-classness occurs and/or the tagging charity does not occur is not true.; int4 & sent1 -> hypothesis; __DISPROVED__