if the harassment happens then that not the pragmaticsness but the braiding tichodrome happens is wrong.
sent1: the fact that both the pragmatics and the braiding tichodrome occurs is not true if the harassment occurs. sent2: the headshot and the vaginalness occurs. sent3: the fact that the non-pragmaticsness and the braiding tichodrome occurs is not correct if the doubles does not occur. sent4: the fact that not the pragmaticsness but the braiding tichodrome occurs hold if the fact that the doubling does not occur is not incorrect. sent5: the fact that the pragmaticsness happens and the braiding tichodrome occurs is not right if the doublesness does not occur. sent6: either the unreactiveness happens or the jamming happens or both. sent7: either the responsiveness or the non-high-resolutionness or both happens. sent8: the vaginalness does not occur if the jamming and the harassment occurs. sent9: if either the unreactiveness occurs or the jamming does not occur or both the doubles does not occur.
void -> assump2: Let's assume that the jamming occurs.; void -> assump1: Let's assume that the harassment occurs.; assump2 & assump1 -> int1: the jamming happens and the harassment happens.; int1 & sent8 -> int2: the vaginalness does not occur.; sent2 -> int3: the vaginalness happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the jamming does not occur.; int5 -> int6: the unreactiveness happens and/or the jamming does not occur.; int6 & sent9 -> int7: the doublesness does not occur.; int7 & sent3 -> int8: the fact that the pragmaticsness does not occur and the braiding tichodrome happens is incorrect.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the harassment happens then that not the pragmaticsness but the braiding tichodrome happens is wrong. ; $context$ = sent1: the fact that both the pragmatics and the braiding tichodrome occurs is not true if the harassment occurs. sent2: the headshot and the vaginalness occurs. sent3: the fact that the non-pragmaticsness and the braiding tichodrome occurs is not correct if the doubles does not occur. sent4: the fact that not the pragmaticsness but the braiding tichodrome occurs hold if the fact that the doubling does not occur is not incorrect. sent5: the fact that the pragmaticsness happens and the braiding tichodrome occurs is not right if the doublesness does not occur. sent6: either the unreactiveness happens or the jamming happens or both. sent7: either the responsiveness or the non-high-resolutionness or both happens. sent8: the vaginalness does not occur if the jamming and the harassment occurs. sent9: if either the unreactiveness occurs or the jamming does not occur or both the doubles does not occur. ; $proof$ = 
void -> assump2: Let's assume that the jamming occurs.; void -> assump1: Let's assume that the harassment occurs.; assump2 & assump1 -> int1: the jamming happens and the harassment happens.; int1 & sent8 -> int2: the vaginalness does not occur.; sent2 -> int3: the vaginalness happens.; int2 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the jamming does not occur.; int5 -> int6: the unreactiveness happens and/or the jamming does not occur.; int6 & sent9 -> int7: the doublesness does not occur.; int7 & sent3 -> int8: the fact that the pragmaticsness does not occur and the braiding tichodrome happens is incorrect.; [assump1] & int8 -> hypothesis; __PROVED__