the moonlessness occurs.
sent1: the inexplicableness does not occur if the unrealisticness happens and/or the drafting occurs. sent2: if the poling collectivization occurs then the moonlessness occurs. sent3: the poling collectivization happens if the amplitude occurs. sent4: the mid-on does not occur. sent5: either that the poling eventuality does not occur or that the portraiture does not occur or both leads to the amplitude. sent6: the drafting happens if that the poling eventuality does not occur or the portraiture does not occur or both is not correct. sent7: the inexplicableness occurs and the meaning mouton occurs if the yelling does not occur.
void -> assump1: Let's assume that the fact that the fact that the poling eventuality does not occur and/or the portraiture does not occur does not hold is not incorrect.; sent6 & assump1 -> int1: the draft happens.; int1 -> int2: the fact that either the unrealisticness or the draft or both happens is not false.; int2 & sent1 -> int3: the inexplicableness does not occur.;
$hypothesis$ = the moonlessness occurs. ; $context$ = sent1: the inexplicableness does not occur if the unrealisticness happens and/or the drafting occurs. sent2: if the poling collectivization occurs then the moonlessness occurs. sent3: the poling collectivization happens if the amplitude occurs. sent4: the mid-on does not occur. sent5: either that the poling eventuality does not occur or that the portraiture does not occur or both leads to the amplitude. sent6: the drafting happens if that the poling eventuality does not occur or the portraiture does not occur or both is not correct. sent7: the inexplicableness occurs and the meaning mouton occurs if the yelling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fact that the fact that the poling eventuality does not occur and/or the portraiture does not occur does not hold is not incorrect.; sent6 & assump1 -> int1: the draft happens.; int1 -> int2: the fact that either the unrealisticness or the draft or both happens is not false.; int2 & sent1 -> int3: the inexplicableness does not occur.; __UNKNOWN__