that the antipodal occurs is brought about by that the shafting occurs.
sent1: the fact that not the mail but the feudalness occurs is not correct. sent2: if the bob does not occur and the antipodal does not occur the shafting does not occur. sent3: the temperamentalness does not occur. sent4: that the exasperation happens and the overshooting occurs is not true. sent5: the non-gentileness and the non-rhythmicalness occurs. sent6: that the bobbing does not occur is not incorrect if that the mail does not occur but the feudalness happens does not hold. sent7: that the grouping occurs is prevented by that the non-provocativeness and the washing-up happens. sent8: that the stocking does not occur is triggered by that the deticking Turkmen does not occur and the ballooning does not occur.
void -> assump1: Let's assume that the shafting occurs.; sent6 & sent1 -> int1: the bobbing does not occur.; void -> assump2: Let's assume that the antipodal does not occur.; int1 & assump2 -> int2: the bobbing does not occur and the antipodal does not occur.; sent2 & int2 -> int3: the shaft does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the antipodalness happens.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the antipodal occurs is brought about by that the shafting occurs. ; $context$ = sent1: the fact that not the mail but the feudalness occurs is not correct. sent2: if the bob does not occur and the antipodal does not occur the shafting does not occur. sent3: the temperamentalness does not occur. sent4: that the exasperation happens and the overshooting occurs is not true. sent5: the non-gentileness and the non-rhythmicalness occurs. sent6: that the bobbing does not occur is not incorrect if that the mail does not occur but the feudalness happens does not hold. sent7: that the grouping occurs is prevented by that the non-provocativeness and the washing-up happens. sent8: that the stocking does not occur is triggered by that the deticking Turkmen does not occur and the ballooning does not occur. ; $proof$ = 
void -> assump1: Let's assume that the shafting occurs.; sent6 & sent1 -> int1: the bobbing does not occur.; void -> assump2: Let's assume that the antipodal does not occur.; int1 & assump2 -> int2: the bobbing does not occur and the antipodal does not occur.; sent2 & int2 -> int3: the shaft does not occur.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the antipodalness happens.; [assump1] & int5 -> hypothesis; __PROVED__