the planula is a quinidine and a guildhall.
sent1: if the ball does not destroy then it is a crew or absent or both. sent2: the fact that the planchet does not squire quinidine and is competitive is incorrect if it is contrasty. sent3: if the recombinant is a kind of a quinidine then the planchet does not squire quinidine and is competitive. sent4: the fact that something is not a kind of a rectus but it is competitive does not hold if it is not a quinidine. sent5: the planchet is contrasty. sent6: if the planula is contrasty the planchet is not a quinidine and squires quinidine. sent7: the fact that the planchet is contrasty and is a quinidine does not hold. sent8: if something is absent it is remediable. sent9: if there exists something such that that it is not contrasty is correct that the recombinant is a guildhall and it is a kind of a quinidine is false. sent10: the fact that the planula is postganglionic thing that is contrasty is not right if something is not a dallier. sent11: the ball is onomastics and does not destroy. sent12: the alum is not a kind of a quinidine if there exists something such that that it is a guildhall that is a quinidine is not true. sent13: if something is not contrasty then the fact that it is a kind of a quinidine and it is a guildhall is false. sent14: that the planchet is a kind of a quinidine that squires quinidine is not correct. sent15: if that the ball does crow is not incorrect it is remediable. sent16: the ball is not a dallier if it is remediable. sent17: if the recombinant is not a quinidine then the planula is a quinidine.
void -> assump1: Let's assume that the recombinant is a quinidine.; sent3 & assump1 -> int1: the planchet does not squire quinidine and is competitive.; sent2 & sent5 -> int2: that the planchet does not squire quinidine and is not noncompetitive is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the recombinant is not a quinidine.;
that the alum is not a rectus but it is competitive is incorrect.
sent4 -> int5: the fact that that the alum is not a kind of the rectus and is competitive is not correct if the alum is not a quinidine hold.; sent11 -> int6: the fact that the ball does not destroy is correct.; sent1 & int6 -> int7: the ball is a crew and/or it does absent.; sent8 -> int8: if the ball does absent then the fact that it is remediable is right.; int7 & sent15 & int8 -> int9: the ball is remediable.; sent16 & int9 -> int10: the ball is not a dallier.; int10 -> int11: there exists something such that it is not a dallier.; int11 & sent10 -> int12: that the planula is postganglionic and it is contrasty is not right.;
$hypothesis$ = the planula is a quinidine and a guildhall. ; $context$ = sent1: if the ball does not destroy then it is a crew or absent or both. sent2: the fact that the planchet does not squire quinidine and is competitive is incorrect if it is contrasty. sent3: if the recombinant is a kind of a quinidine then the planchet does not squire quinidine and is competitive. sent4: the fact that something is not a kind of a rectus but it is competitive does not hold if it is not a quinidine. sent5: the planchet is contrasty. sent6: if the planula is contrasty the planchet is not a quinidine and squires quinidine. sent7: the fact that the planchet is contrasty and is a quinidine does not hold. sent8: if something is absent it is remediable. sent9: if there exists something such that that it is not contrasty is correct that the recombinant is a guildhall and it is a kind of a quinidine is false. sent10: the fact that the planula is postganglionic thing that is contrasty is not right if something is not a dallier. sent11: the ball is onomastics and does not destroy. sent12: the alum is not a kind of a quinidine if there exists something such that that it is a guildhall that is a quinidine is not true. sent13: if something is not contrasty then the fact that it is a kind of a quinidine and it is a guildhall is false. sent14: that the planchet is a kind of a quinidine that squires quinidine is not correct. sent15: if that the ball does crow is not incorrect it is remediable. sent16: the ball is not a dallier if it is remediable. sent17: if the recombinant is not a quinidine then the planula is a quinidine. ; $proof$ = 
void -> assump1: Let's assume that the recombinant is a quinidine.; sent3 & assump1 -> int1: the planchet does not squire quinidine and is competitive.; sent2 & sent5 -> int2: that the planchet does not squire quinidine and is not noncompetitive is incorrect.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the recombinant is not a quinidine.; __UNKNOWN__