if the ablactation is not a kind of a backhanded then it is not loose.
sent1: that the ablactation is not a generalissimo is right. sent2: the ablactation does backhand if it is loose. sent3: the briquette does backhand.
void -> assump1: Let's assume that the ablactation is loose.; sent2 & assump1 -> int1: the ablactation is a kind of a backhanded.; void -> assump2: Let's assume that the ablactation is not backhanded.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ablactation is not loose.; [assump2] & int3 -> hypothesis;
$hypothesis$ = if the ablactation is not a kind of a backhanded then it is not loose. ; $context$ = sent1: that the ablactation is not a generalissimo is right. sent2: the ablactation does backhand if it is loose. sent3: the briquette does backhand. ; $proof$ = 
void -> assump1: Let's assume that the ablactation is loose.; sent2 & assump1 -> int1: the ablactation is a kind of a backhanded.; void -> assump2: Let's assume that the ablactation is not backhanded.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ablactation is not loose.; [assump2] & int3 -> hypothesis; __PROVED__