that the procaine is not a kind of a Rastafarian if the gluteus is a lady is wrong.
sent1: if the procaine is a kind of a Rastafarian then the gluteus is not a lady. sent2: the gluteus is a lady if the procaine is Rastafarian. sent3: the procaine is not a lady if the gluteus is a Rastafarian. sent4: the procaine is not a lady.
void -> assump2: Let's assume that the procaine is a Rastafarian.; sent1 & assump2 -> int1: the gluteus is not a lady.; void -> assump1: Let's assume that the gluteus is a lady.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the procaine is not a kind of a Rastafarian.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the procaine is not a kind of a Rastafarian if the gluteus is a lady is wrong. ; $context$ = sent1: if the procaine is a kind of a Rastafarian then the gluteus is not a lady. sent2: the gluteus is a lady if the procaine is Rastafarian. sent3: the procaine is not a lady if the gluteus is a Rastafarian. sent4: the procaine is not a lady. ; $proof$ = 
void -> assump2: Let's assume that the procaine is a Rastafarian.; sent1 & assump2 -> int1: the gluteus is not a lady.; void -> assump1: Let's assume that the gluteus is a lady.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the procaine is not a kind of a Rastafarian.; [assump1] & int3 -> hypothesis; __DISPROVED__