the unbornness results in that the comprehensibleness does not occur and the stripping does not occur.
sent1: that both the virologicalness and the ethnocentricness occurs prevents the unbornness. sent2: the traction does not occur. sent3: that both the virologicalness and the ethnocentricness happens results in that the unbornness happens. sent4: the ethnocentricness happens. sent5: the stripping does not occur and the friendliness does not occur. sent6: the comprehensibleness does not occur if the aftershock does not occur. sent7: the surface-to-airness does not occur. sent8: that the aftershock does not occur is triggered by that the virologicalness does not occur. sent9: the friendliness does not occur.
void -> assump1: Let's assume that the virologicalness occurs.; assump1 & sent4 -> int1: the virologicalness and the ethnocentricness occurs.; int1 & sent1 -> int2: the fact that the unbornness does not occur is not wrong.; void -> assump2: Let's assume that the unbornness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the virologicalness does not occur.; int4 & sent8 -> int5: the aftershock does not occur.; int5 & sent6 -> int6: the comprehensibleness does not occur.; sent5 -> int7: the stripping does not occur.; int6 & int7 -> int8: the comprehensibleness does not occur and the stripping does not occur.; [assump2] & int8 -> hypothesis;
$hypothesis$ = the unbornness results in that the comprehensibleness does not occur and the stripping does not occur. ; $context$ = sent1: that both the virologicalness and the ethnocentricness occurs prevents the unbornness. sent2: the traction does not occur. sent3: that both the virologicalness and the ethnocentricness happens results in that the unbornness happens. sent4: the ethnocentricness happens. sent5: the stripping does not occur and the friendliness does not occur. sent6: the comprehensibleness does not occur if the aftershock does not occur. sent7: the surface-to-airness does not occur. sent8: that the aftershock does not occur is triggered by that the virologicalness does not occur. sent9: the friendliness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the virologicalness occurs.; assump1 & sent4 -> int1: the virologicalness and the ethnocentricness occurs.; int1 & sent1 -> int2: the fact that the unbornness does not occur is not wrong.; void -> assump2: Let's assume that the unbornness occurs.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the virologicalness does not occur.; int4 & sent8 -> int5: the aftershock does not occur.; int5 & sent6 -> int6: the comprehensibleness does not occur.; sent5 -> int7: the stripping does not occur.; int6 & int7 -> int8: the comprehensibleness does not occur and the stripping does not occur.; [assump2] & int8 -> hypothesis; __PROVED__