the epithelium does not procrastinate if the Brummie is not a clashing and is not a Montgomery.
sent1: the epithelium is not a hobbler and it is not a bawdry if the fact that the lacquer does procrastinate is true. sent2: the epithelium does not procrastinate if there exists something such that it is not a clashing and is not a Montgomery.
void -> assump1: Let's assume that the Brummie does not clash and it is not a Montgomery.; assump1 -> int1: something is not a clashing and it is not a Montgomery.; int1 & sent2 -> int2: the epithelium does not procrastinate.; [assump1] & int2 -> hypothesis;
something is not a hobbler and is not a kind of a bawdry.
$hypothesis$ = the epithelium does not procrastinate if the Brummie is not a clashing and is not a Montgomery. ; $context$ = sent1: the epithelium is not a hobbler and it is not a bawdry if the fact that the lacquer does procrastinate is true. sent2: the epithelium does not procrastinate if there exists something such that it is not a clashing and is not a Montgomery. ; $proof$ = 
void -> assump1: Let's assume that the Brummie does not clash and it is not a Montgomery.; assump1 -> int1: something is not a clashing and it is not a Montgomery.; int1 & sent2 -> int2: the epithelium does not procrastinate.; [assump1] & int2 -> hypothesis; __PROVED__