that if the Capitol is a CV but it does not coo then the rauwolfia is not a kind of a Meridian is wrong.
sent1: if there is something such that it is both a CV and not a coo then the rauwolfia is not a Meridian.
void -> assump1: Let's assume that the Capitol is a CV and is not a coo.; assump1 -> int1: there is something such that it is a CV and it does not coo.; int1 & sent1 -> int2: the fact that the rauwolfia is not a Meridian is correct.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that if the Capitol is a CV but it does not coo then the rauwolfia is not a kind of a Meridian is wrong. ; $context$ = sent1: if there is something such that it is both a CV and not a coo then the rauwolfia is not a Meridian. ; $proof$ = 
void -> assump1: Let's assume that the Capitol is a CV and is not a coo.; assump1 -> int1: there is something such that it is a CV and it does not coo.; int1 & sent1 -> int2: the fact that the rauwolfia is not a Meridian is correct.; [assump1] & int2 -> hypothesis; __DISPROVED__