the parsley is a solicitorship if the Wampanoag is a provost.
sent1: that the mule is fragrant but it is not achromatinic does not hold if the Wampanoag is a provost. sent2: the parsley is a solicitorship if the fact that the mule is fragrant but not achromatinic does not hold. sent3: that the parsley is a solicitorship and is not a provost is not right. sent4: the fact that the mule is fragrant and it is achromatinic is false if the Wampanoag is a provost.
void -> assump1: Let's assume that the Wampanoag is a provost.; sent1 & assump1 -> int1: that the mule is fragrant and is not achromatinic is wrong.; sent2 & int1 -> int2: the parsley is a solicitorship.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the parsley is a solicitorship if the Wampanoag is a provost. ; $context$ = sent1: that the mule is fragrant but it is not achromatinic does not hold if the Wampanoag is a provost. sent2: the parsley is a solicitorship if the fact that the mule is fragrant but not achromatinic does not hold. sent3: that the parsley is a solicitorship and is not a provost is not right. sent4: the fact that the mule is fragrant and it is achromatinic is false if the Wampanoag is a provost. ; $proof$ = 
void -> assump1: Let's assume that the Wampanoag is a provost.; sent1 & assump1 -> int1: that the mule is fragrant and is not achromatinic is wrong.; sent2 & int1 -> int2: the parsley is a solicitorship.; [assump1] & int2 -> hypothesis; __PROVED__