that the life but not the stranglehold occurs is not right.
sent1: if the symbolizing does not occur the centering happens and the emulsifying galangal occurs. sent2: the life but not the stranglehold occurs if that the Gallicness does not occur is true. sent3: the emulsifying galangal does not occur if that the emulsifying Sumerology happens and the forcing occurs is wrong. sent4: the emulsifying galangal happens if the fact that the spadework does not occur or the aneroid happens or both does not hold. sent5: the symbolizing but not the Gallicness happens if the centering does not occur. sent6: that the life but not the stranglehold happens is not true if the centering occurs. sent7: the centered does not occur if either the spadework does not occur or the aneroidness happens or both. sent8: that the emulsifying Sumerology and the force happens does not hold.
void -> assump1: Let's assume that that the spadework does not occur and/or the aneroidness occurs is not right.; sent4 & assump1 -> int1: that the emulsifying galangal occurs is right.; sent3 & sent8 -> int2: the emulsifying galangal does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spadework does not occur and/or the aneroidness occurs.; int4 & sent7 -> int5: the centered does not occur.; int5 & sent5 -> int6: both the symbolizing and the non-Gallicness happens.; int6 -> int7: the Gallicness does not occur.; int7 & sent2 -> hypothesis;
the fact that the life but not the stranglehold occurs is not right.
$hypothesis$ = that the life but not the stranglehold occurs is not right. ; $context$ = sent1: if the symbolizing does not occur the centering happens and the emulsifying galangal occurs. sent2: the life but not the stranglehold occurs if that the Gallicness does not occur is true. sent3: the emulsifying galangal does not occur if that the emulsifying Sumerology happens and the forcing occurs is wrong. sent4: the emulsifying galangal happens if the fact that the spadework does not occur or the aneroid happens or both does not hold. sent5: the symbolizing but not the Gallicness happens if the centering does not occur. sent6: that the life but not the stranglehold happens is not true if the centering occurs. sent7: the centered does not occur if either the spadework does not occur or the aneroidness happens or both. sent8: that the emulsifying Sumerology and the force happens does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the spadework does not occur and/or the aneroidness occurs is not right.; sent4 & assump1 -> int1: that the emulsifying galangal occurs is right.; sent3 & sent8 -> int2: the emulsifying galangal does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the spadework does not occur and/or the aneroidness occurs.; int4 & sent7 -> int5: the centered does not occur.; int5 & sent5 -> int6: both the symbolizing and the non-Gallicness happens.; int6 -> int7: the Gallicness does not occur.; int7 & sent2 -> hypothesis; __DISPROVED__