that the clanking sapremia happens is brought about by that the clanking yardstick happens.
sent1: if the clanking yardstick occurs then the business occurs. sent2: the clanking sapremia occurs if the business happens.
void -> assump1: Let's assume that the clanking yardstick occurs.; sent1 & assump1 -> int1: the business happens.; sent2 & int1 -> int2: the clanking sapremia happens.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the clanking sapremia happens is brought about by that the clanking yardstick happens. ; $context$ = sent1: if the clanking yardstick occurs then the business occurs. sent2: the clanking sapremia occurs if the business happens. ; $proof$ = 
void -> assump1: Let's assume that the clanking yardstick occurs.; sent1 & assump1 -> int1: the business happens.; sent2 & int1 -> int2: the clanking sapremia happens.; [assump1] & int2 -> hypothesis; __PROVED__