that the cemetery is a pimple is right if the chachalaca ballasts.
sent1: if something is unhealthy it is a kind of a pimple. sent2: the cemetery is unhealthy if the chachalaca does not answer reduction. sent3: the osteopath is a ballast if the chachalaca answers reduction. sent4: the chachalaca does not answer reduction if it ballasts.
void -> assump1: Let's assume that the chachalaca does ballast.; sent4 & assump1 -> int1: the chachalaca does not answer reduction.; int1 & sent2 -> int2: the cemetery is unhealthy.; sent1 -> int3: if the cemetery is unhealthy then it is a pimple.; int2 & int3 -> int4: that the cemetery is a kind of a pimple is true.; [assump1] & int4 -> hypothesis;
the osteopath does ballast.
$hypothesis$ = that the cemetery is a pimple is right if the chachalaca ballasts. ; $context$ = sent1: if something is unhealthy it is a kind of a pimple. sent2: the cemetery is unhealthy if the chachalaca does not answer reduction. sent3: the osteopath is a ballast if the chachalaca answers reduction. sent4: the chachalaca does not answer reduction if it ballasts. ; $proof$ = 
void -> assump1: Let's assume that the chachalaca does ballast.; sent4 & assump1 -> int1: the chachalaca does not answer reduction.; int1 & sent2 -> int2: the cemetery is unhealthy.; sent1 -> int3: if the cemetery is unhealthy then it is a pimple.; int2 & int3 -> int4: that the cemetery is a kind of a pimple is true.; [assump1] & int4 -> hypothesis; __PROVED__