if both the Andalusianness and the union occurs the standardization does not occur.
sent1: the racing occurs. sent2: the drawing leads to the non-agranulocyticness. sent3: the putridness prevents that the agon does not occur. sent4: the apteralness occurs and the famine happens. sent5: the fact that the standardization occurs is not incorrect. sent6: the inventorying does not occur if the Senecanness occurs. sent7: that the unionness occurs triggers that the standardization does not occur. sent8: that the Andalusianness and the unionness occurs prevents that the standardization does not occur. sent9: that the adhesive occurs is triggered by that the instructing Burhinus and the downstageness occurs. sent10: if the unionness occurs the standardization occurs.
void -> assump1: Let's assume that both the Andalusianness and the unionness happens.; assump1 -> int1: the union happens.; int1 & sent7 -> int2: the fact that the standardization does not occur is right.; [assump1] & int2 -> hypothesis;
$hypothesis$ = if both the Andalusianness and the union occurs the standardization does not occur. ; $context$ = sent1: the racing occurs. sent2: the drawing leads to the non-agranulocyticness. sent3: the putridness prevents that the agon does not occur. sent4: the apteralness occurs and the famine happens. sent5: the fact that the standardization occurs is not incorrect. sent6: the inventorying does not occur if the Senecanness occurs. sent7: that the unionness occurs triggers that the standardization does not occur. sent8: that the Andalusianness and the unionness occurs prevents that the standardization does not occur. sent9: that the adhesive occurs is triggered by that the instructing Burhinus and the downstageness occurs. sent10: if the unionness occurs the standardization occurs. ; $proof$ = 
void -> assump1: Let's assume that both the Andalusianness and the unionness happens.; assump1 -> int1: the union happens.; int1 & sent7 -> int2: the fact that the standardization does not occur is right.; [assump1] & int2 -> hypothesis; __PROVED__