the adjusting happens if the fact that the estrogenicness happens is not false.
sent1: the adjusting happens if the barrage happens. sent2: the formalizing astigmatism happens if the owning lamplight occurs.
void -> assump2: Let's assume that the estrogenicness happens.; void -> assump1: Let's assume that both the non-leptorrhineness and the non-estrogenicness happens.; assump1 -> int1: the estrogenicness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the leptorrhineness does not occur and the estrogenicness does not occur is not right.;
$hypothesis$ = the adjusting happens if the fact that the estrogenicness happens is not false. ; $context$ = sent1: the adjusting happens if the barrage happens. sent2: the formalizing astigmatism happens if the owning lamplight occurs. ; $proof$ = 
void -> assump2: Let's assume that the estrogenicness happens.; void -> assump1: Let's assume that both the non-leptorrhineness and the non-estrogenicness happens.; assump1 -> int1: the estrogenicness does not occur.; assump2 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the leptorrhineness does not occur and the estrogenicness does not occur is not right.; __UNKNOWN__