the placing happens if the reverberating happens.
sent1: if the gesticulating Casmerodius occurs then that the beef does not occur and the beckoning linin occurs is wrong. sent2: if that not the beef but the beckoning linin occurs is not correct the reverberating does not occur. sent3: if the gesticulating Casmerodius does not occur the placing happens.
void -> assump2: Let's assume that the reverberating occurs.; void -> assump1: Let's assume that the gesticulating Casmerodius happens.; sent1 & assump1 -> int1: that the beef does not occur and the beckoning linin happens is incorrect.; sent2 & int1 -> int2: the reverberating does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gesticulating Casmerodius does not occur.; sent3 & int4 -> int5: the placing occurs.; [assump2] & int5 -> hypothesis;
$hypothesis$ = the placing happens if the reverberating happens. ; $context$ = sent1: if the gesticulating Casmerodius occurs then that the beef does not occur and the beckoning linin occurs is wrong. sent2: if that not the beef but the beckoning linin occurs is not correct the reverberating does not occur. sent3: if the gesticulating Casmerodius does not occur the placing happens. ; $proof$ = 
void -> assump2: Let's assume that the reverberating occurs.; void -> assump1: Let's assume that the gesticulating Casmerodius happens.; sent1 & assump1 -> int1: that the beef does not occur and the beckoning linin happens is incorrect.; sent2 & int1 -> int2: the reverberating does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gesticulating Casmerodius does not occur.; sent3 & int4 -> int5: the placing occurs.; [assump2] & int5 -> hypothesis; __PROVED__