if the alphanumericsness does not occur then the philandering instep and the thunk occurs.
sent1: that the philandering instep occurs is caused by that the secretaryship happens. sent2: the belaboring bpm happens. sent3: the secretaryship occurs. sent4: the thunk happens if the alphanumericsness does not occur. sent5: the destruction occurs.
void -> assump1: Let's assume that the alphanumericsness does not occur.; sent4 & assump1 -> int1: the thunk happens.; sent1 & sent3 -> int2: the fact that the philandering instep occurs is right.; int1 & int2 -> int3: both the philandering instep and the thunk happens.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the alphanumericsness does not occur then the philandering instep and the thunk occurs. ; $context$ = sent1: that the philandering instep occurs is caused by that the secretaryship happens. sent2: the belaboring bpm happens. sent3: the secretaryship occurs. sent4: the thunk happens if the alphanumericsness does not occur. sent5: the destruction occurs. ; $proof$ = 
void -> assump1: Let's assume that the alphanumericsness does not occur.; sent4 & assump1 -> int1: the thunk happens.; sent1 & sent3 -> int2: the fact that the philandering instep occurs is right.; int1 & int2 -> int3: both the philandering instep and the thunk happens.; [assump1] & int3 -> hypothesis; __PROVED__