if the cock-a-leekie does acquaint sulfamethoxazole then the fact that the tumbler is not a kind of a cynic hold.
sent1: if the tumbler is a twins and is a kind of a cynic then the cock-a-leekie does acquaint sulfamethoxazole. sent2: the tumbler does cachinnate and does not acquaint sulfamethoxazole if the cock-a-leekie is a kind of a twins. sent3: the tumbler is a cynic if the cock-a-leekie acquaints sulfamethoxazole. sent4: the cock-a-leekie does not acquaint sulfamethoxazole if the tumbler is both a twins and a cynic. sent5: the cock-a-leekie is a kind of a twins if the tumbler acquaints sulfamethoxazole. sent6: the fact that the tumbler is not a Saracen hold. sent7: the tumbler does cachinnate and is a twins.
void -> assump1: Let's assume that the cock-a-leekie acquaints sulfamethoxazole.; sent7 -> int1: the tumbler is a kind of a twins.; void -> assump2: Let's assume that the tumbler is a cynic.; int1 & assump2 -> int2: the tumbler is both a twins and a cynic.; sent4 & int2 -> int3: the fact that the cock-a-leekie does not acquaint sulfamethoxazole is true.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tumbler is not a cynic.; [assump1] & int5 -> hypothesis;
the tumbler does not acquaint sulfamethoxazole.
$hypothesis$ = if the cock-a-leekie does acquaint sulfamethoxazole then the fact that the tumbler is not a kind of a cynic hold. ; $context$ = sent1: if the tumbler is a twins and is a kind of a cynic then the cock-a-leekie does acquaint sulfamethoxazole. sent2: the tumbler does cachinnate and does not acquaint sulfamethoxazole if the cock-a-leekie is a kind of a twins. sent3: the tumbler is a cynic if the cock-a-leekie acquaints sulfamethoxazole. sent4: the cock-a-leekie does not acquaint sulfamethoxazole if the tumbler is both a twins and a cynic. sent5: the cock-a-leekie is a kind of a twins if the tumbler acquaints sulfamethoxazole. sent6: the fact that the tumbler is not a Saracen hold. sent7: the tumbler does cachinnate and is a twins. ; $proof$ = 
void -> assump1: Let's assume that the cock-a-leekie acquaints sulfamethoxazole.; sent7 -> int1: the tumbler is a kind of a twins.; void -> assump2: Let's assume that the tumbler is a cynic.; int1 & assump2 -> int2: the tumbler is both a twins and a cynic.; sent4 & int2 -> int3: the fact that the cock-a-leekie does not acquaint sulfamethoxazole is true.; assump1 & int3 -> int4: this is contradiction.; [assump2] & int4 -> int5: the tumbler is not a cynic.; [assump1] & int5 -> hypothesis; __PROVED__