the fact that the campanile is a kind of a stick if the shaver is gallinaceous hold.
sent1: the campanile impedes radiochemistry. sent2: the campanile is a stick but it is not a pavlova if the shaver is gallinaceous. sent3: the campanile is not a pavlova if the shaver is gallinaceous. sent4: the belfry is gallinaceous.
void -> assump1: Let's assume that the shaver is gallinaceous.; sent2 & assump1 -> int1: the campanile is a stick but not a pavlova.; int1 -> int2: the campanile is a stick.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the fact that the campanile is a kind of a stick if the shaver is gallinaceous hold. ; $context$ = sent1: the campanile impedes radiochemistry. sent2: the campanile is a stick but it is not a pavlova if the shaver is gallinaceous. sent3: the campanile is not a pavlova if the shaver is gallinaceous. sent4: the belfry is gallinaceous. ; $proof$ = 
void -> assump1: Let's assume that the shaver is gallinaceous.; sent2 & assump1 -> int1: the campanile is a stick but not a pavlova.; int1 -> int2: the campanile is a stick.; [assump1] & int2 -> hypothesis; __PROVED__