there is something such that that it preoccupies allegory and does not mark Schonberg is incorrect.
sent1: there is something such that that it is both not a superorder and an alcazar is incorrect. sent2: the Norvasc is a packing if that it is not an edema or it is not a square or both is not correct. sent3: if there is something such that that it is both not a divan and a minute is not right then the mealie is an alcazar. sent4: the mealie is a kind of an alcazar if there exists something such that it is not a kind of a minute. sent5: if something is not a divan the fact that it marshals widow and does not marshal adrenal is not true. sent6: the widow is not a kind if the Norvasc is not an edema and/or it is not a square. sent7: if something is not an alcazar that it is a minute and a packing does not hold. sent8: if there exists something such that the fact that it is a kind of a minute that is a kind of a packing is not correct the Norvasc is not a kind of a divan. sent9: the graham is kind and it does preoccupy allegory. sent10: there exists something such that that it does not pack and it does mark Schonberg does not hold. sent11: if there exists something such that the fact that it is not a kind of a superorder and it is an alcazar is not right then the mealie is not an alcazar. sent12: something is not a superorder but it is an alcazar. sent13: the fact that something does preoccupy allegory but it does not mark Schonberg does not hold if it is not kind.
void -> assump1: Let's assume that that the Norvasc is not a kind of an edema and/or it is non-square is not correct.; sent2 & assump1 -> int1: the Norvasc is a packing.; sent1 & sent11 -> int2: the mealie is not an alcazar.; sent13 -> int3: the fact that the widow preoccupies allegory and does not mark Schonberg is wrong if it is not a kind of a kind.;
there exists something such that that it does marshal widow and it does not marshal adrenal is not true.
sent5 -> int4: the fact that the Norvasc does marshal widow but it does not marshal adrenal is wrong if it is not a kind of a divan.; sent7 -> int5: if the graham is not an alcazar then the fact that it is a minute and a packing is incorrect.;
$hypothesis$ = there is something such that that it preoccupies allegory and does not mark Schonberg is incorrect. ; $context$ = sent1: there is something such that that it is both not a superorder and an alcazar is incorrect. sent2: the Norvasc is a packing if that it is not an edema or it is not a square or both is not correct. sent3: if there is something such that that it is both not a divan and a minute is not right then the mealie is an alcazar. sent4: the mealie is a kind of an alcazar if there exists something such that it is not a kind of a minute. sent5: if something is not a divan the fact that it marshals widow and does not marshal adrenal is not true. sent6: the widow is not a kind if the Norvasc is not an edema and/or it is not a square. sent7: if something is not an alcazar that it is a minute and a packing does not hold. sent8: if there exists something such that the fact that it is a kind of a minute that is a kind of a packing is not correct the Norvasc is not a kind of a divan. sent9: the graham is kind and it does preoccupy allegory. sent10: there exists something such that that it does not pack and it does mark Schonberg does not hold. sent11: if there exists something such that the fact that it is not a kind of a superorder and it is an alcazar is not right then the mealie is not an alcazar. sent12: something is not a superorder but it is an alcazar. sent13: the fact that something does preoccupy allegory but it does not mark Schonberg does not hold if it is not kind. ; $proof$ = 
void -> assump1: Let's assume that that the Norvasc is not a kind of an edema and/or it is non-square is not correct.; sent2 & assump1 -> int1: the Norvasc is a packing.; sent1 & sent11 -> int2: the mealie is not an alcazar.; sent13 -> int3: the fact that the widow preoccupies allegory and does not mark Schonberg is wrong if it is not a kind of a kind.; __UNKNOWN__