that the magneticness occurs and the overjoying happens results in that the ineligibleness does not occur.
sent1: the ineligibleness does not occur if both the overjoying and the postmillennialness occurs. sent2: the fact that the postmillennialness happens is not false.
void -> assump1: Let's assume that the magneticness happens and the overjoying happens.; assump1 -> int1: the overjoying occurs.; int1 & sent2 -> int2: the overjoying happens and the postmillennialness occurs.; sent1 & int2 -> int3: the ineligibleness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the magneticness occurs and the overjoying happens results in that the ineligibleness does not occur. ; $context$ = sent1: the ineligibleness does not occur if both the overjoying and the postmillennialness occurs. sent2: the fact that the postmillennialness happens is not false. ; $proof$ = 
void -> assump1: Let's assume that the magneticness happens and the overjoying happens.; assump1 -> int1: the overjoying occurs.; int1 & sent2 -> int2: the overjoying happens and the postmillennialness occurs.; sent1 & int2 -> int3: the ineligibleness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__