that the aficionado is a pipeful if the rancher is a cyanide is not right.
sent1: the aficionado is a pipeful if something that is brahminic is a kind of a cyanide. sent2: the argus is Cyprian. sent3: the rancher is brahminic if the argus is Cyprian.
sent3 & sent2 -> int1: the rancher is brahminic.; void -> assump1: Let's assume that the rancher is a kind of a cyanide.; int1 & assump1 -> int2: the rancher is brahminic and it is a kind of a cyanide.; int2 -> int3: there exists something such that it is brahminic thing that is a cyanide.; int3 & sent1 -> int4: the aficionado is a pipeful.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the aficionado is a pipeful if the rancher is a cyanide is not right. ; $context$ = sent1: the aficionado is a pipeful if something that is brahminic is a kind of a cyanide. sent2: the argus is Cyprian. sent3: the rancher is brahminic if the argus is Cyprian. ; $proof$ = 
sent3 & sent2 -> int1: the rancher is brahminic.; void -> assump1: Let's assume that the rancher is a kind of a cyanide.; int1 & assump1 -> int2: the rancher is brahminic and it is a kind of a cyanide.; int2 -> int3: there exists something such that it is brahminic thing that is a cyanide.; int3 & sent1 -> int4: the aficionado is a pipeful.; [assump1] & int4 -> hypothesis; __DISPROVED__