if the tasting happens that either the doctrinalness happens or the efferent does not occur or both is correct.
sent1: if the efferent occurs the fact that the shooting does not occur but the uninucleateness happens is not correct. sent2: if the fact that that the wangle does not occur but the collecting radiochemist occurs is right is not right then the launching hexestrol happens. sent3: the commute does not occur. sent4: if that the shooting does not occur and the uninucleateness happens is wrong the tasting does not occur. sent5: the singeing occurs and/or the sibilating does not occur. sent6: if the uninucleateness does not occur the tasting does not occur. sent7: if the launching urchin happens the fact that the non-penumbralness and the scavenging occurs is not right. sent8: that the stock occurs is true. sent9: if the tasting occurs then the doctrinalness happens and/or the efferentness occurs.
void -> assump1: Let's assume that the tasting occurs.; void -> assump2: Let's assume that the fact that the efferentness occurs hold.; sent1 & assump2 -> int1: that not the shooting but the uninucleateness occurs does not hold.; sent4 & int1 -> int2: the tasting does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the efferentness does not occur.; int4 -> int5: that the doctrinalness happens and/or the efferentness does not occur is true.; [assump1] & int5 -> hypothesis;
$hypothesis$ = if the tasting happens that either the doctrinalness happens or the efferent does not occur or both is correct. ; $context$ = sent1: if the efferent occurs the fact that the shooting does not occur but the uninucleateness happens is not correct. sent2: if the fact that that the wangle does not occur but the collecting radiochemist occurs is right is not right then the launching hexestrol happens. sent3: the commute does not occur. sent4: if that the shooting does not occur and the uninucleateness happens is wrong the tasting does not occur. sent5: the singeing occurs and/or the sibilating does not occur. sent6: if the uninucleateness does not occur the tasting does not occur. sent7: if the launching urchin happens the fact that the non-penumbralness and the scavenging occurs is not right. sent8: that the stock occurs is true. sent9: if the tasting occurs then the doctrinalness happens and/or the efferentness occurs. ; $proof$ = 
void -> assump1: Let's assume that the tasting occurs.; void -> assump2: Let's assume that the fact that the efferentness occurs hold.; sent1 & assump2 -> int1: that not the shooting but the uninucleateness occurs does not hold.; sent4 & int1 -> int2: the tasting does not occur.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the efferentness does not occur.; int4 -> int5: that the doctrinalness happens and/or the efferentness does not occur is true.; [assump1] & int5 -> hypothesis; __PROVED__