if that the impurity is not a kind of a mince and is a kind of a blame is not true then the cheroot is not a kind of a predilection.
sent1: the cheroot is not a kind of a mince if that the impurity is not a kind of a predilection but it is hiplength is not true. sent2: if the marshal is hiplength the cheroot is hiplength and not a predilection. sent3: if there is something such that that it is not a mince and is a blame is incorrect then the marshal is hiplength.
void -> assump1: Let's assume that the fact that the impurity is not a mince but it is a blame does not hold.; assump1 -> int1: there is something such that that it is both not a mince and a blame does not hold.; int1 & sent3 -> int2: the marshal is not non-hiplength.; sent2 & int2 -> int3: the cheroot is hiplength but it is not a kind of a predilection.; int3 -> int4: the cheroot is not a predilection.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if that the impurity is not a kind of a mince and is a kind of a blame is not true then the cheroot is not a kind of a predilection. ; $context$ = sent1: the cheroot is not a kind of a mince if that the impurity is not a kind of a predilection but it is hiplength is not true. sent2: if the marshal is hiplength the cheroot is hiplength and not a predilection. sent3: if there is something such that that it is not a mince and is a blame is incorrect then the marshal is hiplength. ; $proof$ = 
void -> assump1: Let's assume that the fact that the impurity is not a mince but it is a blame does not hold.; assump1 -> int1: there is something such that that it is both not a mince and a blame does not hold.; int1 & sent3 -> int2: the marshal is not non-hiplength.; sent2 & int2 -> int3: the cheroot is hiplength but it is not a kind of a predilection.; int3 -> int4: the cheroot is not a predilection.; [assump1] & int4 -> hypothesis; __PROVED__