the getting barberry does not occur.
sent1: the angling roc but not the reddening pengo happens if the fact that the exhaustibleness does not occur is right. sent2: if the fact that that the relation does not occur does not hold hold not the souse but the jihad happens. sent3: if the fact that not the relation but the angling galbanum happens is incorrect then the relation happens. sent4: if the idiolatry does not occur then the fact that the totemicness but not the frisk occurs does not hold. sent5: if that the relation does not occur is correct then both the reddening pengo and the jihad occurs. sent6: the totemicness does not occur if that the totemicness occurs and the frisking does not occur is not correct. sent7: if the totemicness does not occur then the fact that the relation does not occur and the angling galbanum happens is false. sent8: the relation does not occur.
void -> assump1: Let's assume that the exhaustibleness does not occur.; sent1 & assump1 -> int1: the angling roc occurs and the reddening pengo does not occur.; int1 -> int2: the reddening pengo does not occur.; sent5 & sent8 -> int3: both the reddening pengo and the jihad occurs.; int3 -> int4: the reddening pengo occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the exhaustibleness happens.; int6 -> int7: the sousing and/or the exhaustibleness occurs.;
the getting barberry happens.
$hypothesis$ = the getting barberry does not occur. ; $context$ = sent1: the angling roc but not the reddening pengo happens if the fact that the exhaustibleness does not occur is right. sent2: if the fact that that the relation does not occur does not hold hold not the souse but the jihad happens. sent3: if the fact that not the relation but the angling galbanum happens is incorrect then the relation happens. sent4: if the idiolatry does not occur then the fact that the totemicness but not the frisk occurs does not hold. sent5: if that the relation does not occur is correct then both the reddening pengo and the jihad occurs. sent6: the totemicness does not occur if that the totemicness occurs and the frisking does not occur is not correct. sent7: if the totemicness does not occur then the fact that the relation does not occur and the angling galbanum happens is false. sent8: the relation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the exhaustibleness does not occur.; sent1 & assump1 -> int1: the angling roc occurs and the reddening pengo does not occur.; int1 -> int2: the reddening pengo does not occur.; sent5 & sent8 -> int3: both the reddening pengo and the jihad occurs.; int3 -> int4: the reddening pengo occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the exhaustibleness happens.; int6 -> int7: the sousing and/or the exhaustibleness occurs.; __UNKNOWN__