the inexhaustibleness happens if the trundling abstractness occurs.
sent1: if the trundling dogbane does not occur and the trundling abstractness does not occur the Constitution happens. sent2: the trundling dogbane triggers the inexhaustibleness. sent3: the trundling dogbane occurs if the trundling abstractness happens. sent4: the playableness occurs if the audiometry happens.
void -> assump1: Let's assume that the trundling abstractness happens.; sent3 & assump1 -> int1: the trundling dogbane occurs.; sent2 & int1 -> int2: that the inexhaustibleness occurs is right.; [assump1] & int2 -> hypothesis;
the Constitution happens.
$hypothesis$ = the inexhaustibleness happens if the trundling abstractness occurs. ; $context$ = sent1: if the trundling dogbane does not occur and the trundling abstractness does not occur the Constitution happens. sent2: the trundling dogbane triggers the inexhaustibleness. sent3: the trundling dogbane occurs if the trundling abstractness happens. sent4: the playableness occurs if the audiometry happens. ; $proof$ = 
void -> assump1: Let's assume that the trundling abstractness happens.; sent3 & assump1 -> int1: the trundling dogbane occurs.; sent2 & int1 -> int2: that the inexhaustibleness occurs is right.; [assump1] & int2 -> hypothesis; __PROVED__