the anathematization occurs.
sent1: that the anathematization does not occur is right if that the usualness does not occur or the rehabilitating booger does not occur or both is wrong. sent2: the usualness happens. sent3: the inheritableness happens. sent4: if the photovoltaicness occurs the fact that either the usualness does not occur or the rehabilitating booger does not occur or both does not hold.
void -> assump1: Let's assume that both the rehabilitating booger and the unusualness happens.; assump1 -> int1: the usualness does not occur.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the rehabilitating booger and the non-usualness happens is wrong.;
the anathematization does not occur.
$hypothesis$ = the anathematization occurs. ; $context$ = sent1: that the anathematization does not occur is right if that the usualness does not occur or the rehabilitating booger does not occur or both is wrong. sent2: the usualness happens. sent3: the inheritableness happens. sent4: if the photovoltaicness occurs the fact that either the usualness does not occur or the rehabilitating booger does not occur or both does not hold. ; $proof$ = 
void -> assump1: Let's assume that both the rehabilitating booger and the unusualness happens.; assump1 -> int1: the usualness does not occur.; sent2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the rehabilitating booger and the non-usualness happens is wrong.; __UNKNOWN__