the embroidery does not occur.
sent1: the taming Anethum does not occur and the embroidery does not occur if the shrinking layoff does not occur. sent2: that the fact that the occupation does not occur but the fruition occurs is correct does not hold. sent3: that the occupation does not occur and the fruition does not occur prevents that the embroidery does not occur. sent4: the taming Anethum does not occur if the fact that the occupation does not occur and the fruition does not occur does not hold. sent5: the taming Anethum happens. sent6: that the embroidery does not occur is prevented by that the occupation does not occur but the fruition happens.
void -> assump1: Let's assume that that the fact that the occupation does not occur and the fruition does not occur is not false is not correct.; sent4 & assump1 -> int1: the taming Anethum does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the occupation does not occur and the fruition does not occur.; int3 & sent3 -> hypothesis;
the embroidery does not occur.
$hypothesis$ = the embroidery does not occur. ; $context$ = sent1: the taming Anethum does not occur and the embroidery does not occur if the shrinking layoff does not occur. sent2: that the fact that the occupation does not occur but the fruition occurs is correct does not hold. sent3: that the occupation does not occur and the fruition does not occur prevents that the embroidery does not occur. sent4: the taming Anethum does not occur if the fact that the occupation does not occur and the fruition does not occur does not hold. sent5: the taming Anethum happens. sent6: that the embroidery does not occur is prevented by that the occupation does not occur but the fruition happens. ; $proof$ = 
void -> assump1: Let's assume that that the fact that the occupation does not occur and the fruition does not occur is not false is not correct.; sent4 & assump1 -> int1: the taming Anethum does not occur.; int1 & sent5 -> int2: this is contradiction.; [assump1] & int2 -> int3: the occupation does not occur and the fruition does not occur.; int3 & sent3 -> hypothesis; __DISPROVED__