the flanking happens but the crowing AAS does not occur.
sent1: the pickle occurs. sent2: if that the nonparticulateness and the crowing AAS occurs is not correct the nonparticulateness does not occur. sent3: if the accord occurs then the fact that the pickle occurs is true. sent4: that the flank occurs is not wrong. sent5: the fact that the flanking does not occur and the overpressure does not occur is not true if the pickle happens. sent6: the pickle occurs and the overpressure occurs. sent7: if the fact that not the visitation but the mummifying chela occurs is not true then the accord happens. sent8: that the nonparticulateness occurs and the crowing AAS happens is wrong if the workshop does not occur. sent9: that the crowing AAS and the workshop occurs prevents the overpressure. sent10: the workshop occurs.
void -> assump1: Let's assume that the crowing AAS happens.; assump1 & sent10 -> int1: the crowing AAS and the workshop happens.; int1 & sent9 -> int2: the overpressure does not occur.; sent6 -> int3: the fact that the overpressure occurs is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the crowing AAS does not occur.; int5 & sent4 -> hypothesis;
the nonparticulateness does not occur.
$hypothesis$ = the flanking happens but the crowing AAS does not occur. ; $context$ = sent1: the pickle occurs. sent2: if that the nonparticulateness and the crowing AAS occurs is not correct the nonparticulateness does not occur. sent3: if the accord occurs then the fact that the pickle occurs is true. sent4: that the flank occurs is not wrong. sent5: the fact that the flanking does not occur and the overpressure does not occur is not true if the pickle happens. sent6: the pickle occurs and the overpressure occurs. sent7: if the fact that not the visitation but the mummifying chela occurs is not true then the accord happens. sent8: that the nonparticulateness occurs and the crowing AAS happens is wrong if the workshop does not occur. sent9: that the crowing AAS and the workshop occurs prevents the overpressure. sent10: the workshop occurs. ; $proof$ = 
void -> assump1: Let's assume that the crowing AAS happens.; assump1 & sent10 -> int1: the crowing AAS and the workshop happens.; int1 & sent9 -> int2: the overpressure does not occur.; sent6 -> int3: the fact that the overpressure occurs is not wrong.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the crowing AAS does not occur.; int5 & sent4 -> hypothesis; __PROVED__