if the martyrdom does not occur then either the coercion does not occur or the sacrificialness happens or both.
sent1: the fact that either the coercion or the sacrificialness or both occurs hold if the martyrdom does not occur. sent2: the martyrdom happens if the photoelectricity occurs. sent3: the bypassing fudge happens. sent4: the argillaceousness does not occur and/or the transfer happens if the satisficing happens. sent5: if the appropriating happens then the martyrdom but not the sacrificialness occurs. sent6: if the coercion happens then the photoelectricity happens. sent7: if the barking Wister occurs the twining nakedwood occurs. sent8: if the angulation happens then the appropriateness happens.
void -> assump2: Let's assume that the fact that the coercion happens hold.; sent6 & assump2 -> int1: the fact that the photoelectricity occurs is true.; sent2 & int1 -> int2: the martyrdom happens.; void -> assump1: Let's assume that that the martyrdom does not occur is correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the coercion does not occur.; int4 -> int5: the coercion does not occur or the sacrificialness occurs or both.; [assump1] & int5 -> hypothesis;
that the twining nakedwood does not occur is not false.
$hypothesis$ = if the martyrdom does not occur then either the coercion does not occur or the sacrificialness happens or both. ; $context$ = sent1: the fact that either the coercion or the sacrificialness or both occurs hold if the martyrdom does not occur. sent2: the martyrdom happens if the photoelectricity occurs. sent3: the bypassing fudge happens. sent4: the argillaceousness does not occur and/or the transfer happens if the satisficing happens. sent5: if the appropriating happens then the martyrdom but not the sacrificialness occurs. sent6: if the coercion happens then the photoelectricity happens. sent7: if the barking Wister occurs the twining nakedwood occurs. sent8: if the angulation happens then the appropriateness happens. ; $proof$ = 
void -> assump2: Let's assume that the fact that the coercion happens hold.; sent6 & assump2 -> int1: the fact that the photoelectricity occurs is true.; sent2 & int1 -> int2: the martyrdom happens.; void -> assump1: Let's assume that that the martyrdom does not occur is correct.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the coercion does not occur.; int4 -> int5: the coercion does not occur or the sacrificialness occurs or both.; [assump1] & int5 -> hypothesis; __PROVED__