the limeade is not archdiocesan.
sent1: the brier is hypnotic. sent2: the mucus is a Heyrovsky if it is a kind of a windward. sent3: if the brier is hypnotic then that it is not a antitussive but a Castanospermum is false. sent4: the mucus is not a kind of a Castanospermum if there exists something such that the fact that it is not a antitussive and it is a Castanospermum is wrong. sent5: something is a glume. sent6: if the mucus is non-windward thing that is not a Castanospermum then the sailmaker does reward composite. sent7: if the sailmaker rewards composite then the limeade is not archdiocesan. sent8: the sailmaker is a glume and is a windward if that it is not a seeking hold. sent9: the render is not a seeking. sent10: there exists something such that that it is a Heyrovsky is correct. sent11: the mucus is a glume.
void -> assump1: Let's assume that the mucus is a kind of a windward.; sent2 & assump1 -> int1: the mucus is a Heyrovsky.; int1 & sent11 -> int2: the mucus is a Heyrovsky and it is a glume.; int2 -> int3: something is a kind of a Heyrovsky and is a kind of a glume.; sent3 & sent1 -> int4: the fact that the fact that the brier is not a kind of a antitussive but it is a Castanospermum hold is incorrect.; int4 -> int5: there exists something such that that it is not a antitussive and is a Castanospermum is not correct.; int5 & sent4 -> int6: the mucus is not a Castanospermum.;
the sailmaker is not a salvager and it is not a kind of a Heyrovsky.
$hypothesis$ = the limeade is not archdiocesan. ; $context$ = sent1: the brier is hypnotic. sent2: the mucus is a Heyrovsky if it is a kind of a windward. sent3: if the brier is hypnotic then that it is not a antitussive but a Castanospermum is false. sent4: the mucus is not a kind of a Castanospermum if there exists something such that the fact that it is not a antitussive and it is a Castanospermum is wrong. sent5: something is a glume. sent6: if the mucus is non-windward thing that is not a Castanospermum then the sailmaker does reward composite. sent7: if the sailmaker rewards composite then the limeade is not archdiocesan. sent8: the sailmaker is a glume and is a windward if that it is not a seeking hold. sent9: the render is not a seeking. sent10: there exists something such that that it is a Heyrovsky is correct. sent11: the mucus is a glume. ; $proof$ = 
void -> assump1: Let's assume that the mucus is a kind of a windward.; sent2 & assump1 -> int1: the mucus is a Heyrovsky.; int1 & sent11 -> int2: the mucus is a Heyrovsky and it is a glume.; int2 -> int3: something is a kind of a Heyrovsky and is a kind of a glume.; sent3 & sent1 -> int4: the fact that the fact that the brier is not a kind of a antitussive but it is a Castanospermum hold is incorrect.; int4 -> int5: there exists something such that that it is not a antitussive and is a Castanospermum is not correct.; int5 & sent4 -> int6: the mucus is not a Castanospermum.; __UNKNOWN__