the voicing results in that the biopiracy does not occur.
sent1: the varicelliformness and the nagging jobber occurs if that the chomping Trinity does not occur hold. sent2: that the varicelliformness and the biopiracy occurs prevents that the voicing does not occur. sent3: the biopiracy occurs if the voicing occurs. sent4: both the tarnishing hatful and the seigneury happens. sent5: the ornamenting occurs. sent6: the chomping Trinity occurs. sent7: either the biopiracy or the voicing or both occurs if the springboard does not occur. sent8: the varicelliformness happens and the chomping Trinity occurs. sent9: the fact that the voicing is prevented by that both the varicelliformness and the biopiracy occurs is correct.
void -> assump1: Let's assume that the voicing occurs.; sent8 -> int1: the varicelliformness occurs.; void -> assump2: Let's assume that the biopiracy occurs.; int1 & assump2 -> int2: both the varicelliformness and the biopiracy occurs.; sent9 & int2 -> int3: that the voicing does not occur is true.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the biopiracy does not occur is not false.; [assump1] & int5 -> hypothesis;
the fact that the nagging jobber occurs is not wrong.
$hypothesis$ = the voicing results in that the biopiracy does not occur. ; $context$ = sent1: the varicelliformness and the nagging jobber occurs if that the chomping Trinity does not occur hold. sent2: that the varicelliformness and the biopiracy occurs prevents that the voicing does not occur. sent3: the biopiracy occurs if the voicing occurs. sent4: both the tarnishing hatful and the seigneury happens. sent5: the ornamenting occurs. sent6: the chomping Trinity occurs. sent7: either the biopiracy or the voicing or both occurs if the springboard does not occur. sent8: the varicelliformness happens and the chomping Trinity occurs. sent9: the fact that the voicing is prevented by that both the varicelliformness and the biopiracy occurs is correct. ; $proof$ = 
void -> assump1: Let's assume that the voicing occurs.; sent8 -> int1: the varicelliformness occurs.; void -> assump2: Let's assume that the biopiracy occurs.; int1 & assump2 -> int2: both the varicelliformness and the biopiracy occurs.; sent9 & int2 -> int3: that the voicing does not occur is true.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: that the biopiracy does not occur is not false.; [assump1] & int5 -> hypothesis; __PROVED__