the ink and/or the dislikedness happens.
sent1: that the staling vehicle does not occur and the sarcolemmalness does not occur is caused by that the reigning safe-deposit occurs. sent2: if the reigning safe-deposit happens then the fact that the staling vehicle occurs is true. sent3: that the staling vehicle does not occur is prevented by that the arsenical occurs. sent4: the likedness does not occur if that the non-geneticness and/or the non-sarcolemmalness occurs is not correct. sent5: if the sarcolemmalness does not occur then the staling vehicle does not occur. sent6: the geneticness is triggered by that the staling vehicle does not occur and the sarcolemmalness does not occur. sent7: the reigning safe-deposit and/or the arsenical happens. sent8: the staling vehicle does not occur if the geneticness does not occur.
void -> assump1: Let's assume that the fact that the non-geneticness or the non-sarcolemmalness or both happens hold.; assump1 & sent8 & sent5 -> int1: the staling vehicle does not occur.; sent7 & sent2 & sent3 -> int2: the staling vehicle happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that either the non-geneticness or the non-sarcolemmalness or both occurs is not true.; int4 & sent4 -> int5: the likedness does not occur.; int5 -> hypothesis;
that either the inking occurs or the likedness does not occur or both does not hold.
$hypothesis$ = the ink and/or the dislikedness happens. ; $context$ = sent1: that the staling vehicle does not occur and the sarcolemmalness does not occur is caused by that the reigning safe-deposit occurs. sent2: if the reigning safe-deposit happens then the fact that the staling vehicle occurs is true. sent3: that the staling vehicle does not occur is prevented by that the arsenical occurs. sent4: the likedness does not occur if that the non-geneticness and/or the non-sarcolemmalness occurs is not correct. sent5: if the sarcolemmalness does not occur then the staling vehicle does not occur. sent6: the geneticness is triggered by that the staling vehicle does not occur and the sarcolemmalness does not occur. sent7: the reigning safe-deposit and/or the arsenical happens. sent8: the staling vehicle does not occur if the geneticness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the non-geneticness or the non-sarcolemmalness or both happens hold.; assump1 & sent8 & sent5 -> int1: the staling vehicle does not occur.; sent7 & sent2 & sent3 -> int2: the staling vehicle happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that either the non-geneticness or the non-sarcolemmalness or both occurs is not true.; int4 & sent4 -> int5: the likedness does not occur.; int5 -> hypothesis; __PROVED__