if the formulation is not a kind of a paramedic then either the lauhala is a candlepin or it is a chino or both.
sent1: the lauhala is a candlepin and it is a epigastrium if the formulation is a paramedic. sent2: the lauhala is both a candlepin and a epigastrium if the formulation is not a paramedic.
void -> assump1: Let's assume that that the formulation is not a paramedic is not false.; sent2 & assump1 -> int1: the lauhala is a kind of a candlepin and it is a kind of a epigastrium.; int1 -> int2: the lauhala is a kind of a candlepin.; int2 -> int3: the lauhala is either a candlepin or a chino or both.; [assump1] & int3 -> hypothesis;
$hypothesis$ = if the formulation is not a kind of a paramedic then either the lauhala is a candlepin or it is a chino or both. ; $context$ = sent1: the lauhala is a candlepin and it is a epigastrium if the formulation is a paramedic. sent2: the lauhala is both a candlepin and a epigastrium if the formulation is not a paramedic. ; $proof$ = 
void -> assump1: Let's assume that that the formulation is not a paramedic is not false.; sent2 & assump1 -> int1: the lauhala is a kind of a candlepin and it is a kind of a epigastrium.; int1 -> int2: the lauhala is a kind of a candlepin.; int2 -> int3: the lauhala is either a candlepin or a chino or both.; [assump1] & int3 -> hypothesis; __PROVED__