the pichiciago is both not a level and not ducal.
sent1: the rumble is a kind of a Libyan. sent2: if the Cheviots does not claw Laver the pichiciago is both not a level and not ducal. sent3: the kudu is a prochlorperazine if the tropicbird is both non-plantal and non-artistic. sent4: if the rumble is not a kind of a Cambodian then it claws nonstop and it is eonian. sent5: if something is a kind of a thermograph then that it is a wrinkle is not incorrect. sent6: the pichiciago is not a kind of a level. sent7: if there exists something such that that it is both not plantal and not artistic is not true the Cheviots does not claw Laver. sent8: if the rumble is a Libyan and it does claw nonstop the throughput is not a Libyan. sent9: everything does not claw maypole. sent10: the tropicbird does not claw Laver if that the kudu is not a kind of a bimetallist but it does claw Laver is not correct. sent11: if the fact that something is non-ducal thing that does not claw maypole is false it is not a prochlorperazine. sent12: the munjeet is a level if either the Cheviots is Aeschylean or it is not a kind of a level or both. sent13: if the pichiciago does wrinkle then either the Cheviots is Aeschylean or it is not a level or both. sent14: the fact that the kudu is not a kind of a bimetallist and does claw Laver does not hold if the munjeet is not a prochlorperazine. sent15: the kudu is not a kind of a bimetallist. sent16: if there exists something such that the fact that it is plantal is correct then the Cheviots does not claw Laver. sent17: something is a thermograph if it is a kind of a Libyan. sent18: the tropicbird is not plantal. sent19: if the throughput is not a Libyan the pichiciago is Libyan. sent20: the fact that something is non-ducal thing that does not claw maypole does not hold if that it is a kind of a level hold.
void -> assump1: Let's assume that the tropicbird is not plantal and it is not artistic.; sent3 & assump1 -> int1: the fact that the kudu is a prochlorperazine is not incorrect.; int1 & sent15 -> int2: the kudu is a kind of a prochlorperazine that is not a kind of a bimetallist.; int2 -> int3: there is something such that it is a prochlorperazine but not a bimetallist.; sent9 -> int4: the munjeet does not claw maypole.;
the tropicbird does not claw Laver.
sent11 -> int5: the munjeet is not a prochlorperazine if the fact that it is a kind of non-ducal thing that does not claw maypole does not hold.; sent20 -> int6: if the munjeet does level that it is not ducal and does not claw maypole is wrong.; sent5 -> int7: the pichiciago does wrinkle if it is a thermograph.; sent17 -> int8: if the pichiciago is a kind of a Libyan then it is a thermograph.;
$hypothesis$ = the pichiciago is both not a level and not ducal. ; $context$ = sent1: the rumble is a kind of a Libyan. sent2: if the Cheviots does not claw Laver the pichiciago is both not a level and not ducal. sent3: the kudu is a prochlorperazine if the tropicbird is both non-plantal and non-artistic. sent4: if the rumble is not a kind of a Cambodian then it claws nonstop and it is eonian. sent5: if something is a kind of a thermograph then that it is a wrinkle is not incorrect. sent6: the pichiciago is not a kind of a level. sent7: if there exists something such that that it is both not plantal and not artistic is not true the Cheviots does not claw Laver. sent8: if the rumble is a Libyan and it does claw nonstop the throughput is not a Libyan. sent9: everything does not claw maypole. sent10: the tropicbird does not claw Laver if that the kudu is not a kind of a bimetallist but it does claw Laver is not correct. sent11: if the fact that something is non-ducal thing that does not claw maypole is false it is not a prochlorperazine. sent12: the munjeet is a level if either the Cheviots is Aeschylean or it is not a kind of a level or both. sent13: if the pichiciago does wrinkle then either the Cheviots is Aeschylean or it is not a level or both. sent14: the fact that the kudu is not a kind of a bimetallist and does claw Laver does not hold if the munjeet is not a prochlorperazine. sent15: the kudu is not a kind of a bimetallist. sent16: if there exists something such that the fact that it is plantal is correct then the Cheviots does not claw Laver. sent17: something is a thermograph if it is a kind of a Libyan. sent18: the tropicbird is not plantal. sent19: if the throughput is not a Libyan the pichiciago is Libyan. sent20: the fact that something is non-ducal thing that does not claw maypole does not hold if that it is a kind of a level hold. ; $proof$ = 
void -> assump1: Let's assume that the tropicbird is not plantal and it is not artistic.; sent3 & assump1 -> int1: the fact that the kudu is a prochlorperazine is not incorrect.; int1 & sent15 -> int2: the kudu is a kind of a prochlorperazine that is not a kind of a bimetallist.; int2 -> int3: there is something such that it is a prochlorperazine but not a bimetallist.; sent9 -> int4: the munjeet does not claw maypole.; __UNKNOWN__