the cygnet is not a lactogen.
sent1: if something is stomatal then it is a lactogen. sent2: if that the fact that the Sexton is not a generic and it does not germinate hold is not correct then the terminal is not stomatal. sent3: if the fact that something is both a vasopressin and schismatic is false then it does not memorialize shindig. sent4: if something that is a Afroasiatic does memorialize shindig then it is not a lactogen. sent5: if the Sexton is not a generic then the terminal is both a vasopressin and not generic. sent6: the brazier is an earthworm. sent7: the cygnet does not memorialize shindig. sent8: the fact that something is both not a Afroasiatic and a vasopressin is not right if it does not memorialize shindig. sent9: the Sexton does not jack if it is not a kind of a generic and it does not germinate. sent10: if the Sexton is stomatal then the terminal does not jack. sent11: if the Sexton is not a kind of a generic and does germinate then it is not a jacks. sent12: if the Sexton does germinate then the terminal is not stomatal. sent13: if something is not a vasopressin then it does not memorialize shindig. sent14: that something is a vasopressin and it is schismatic is not right if it is not stomatal. sent15: the Sexton does not germinate. sent16: the fact that that the cygnet is stomatal and it is a lactogen is not true is not wrong. sent17: if the fact that the cygnet is not a jacks hold the Sexton memorializes shindig. sent18: something is a Wyomingite but it is not a kind of an earthworm. sent19: something is not a kind of a lactogen if it is a Afroasiatic and does not memorialize shindig. sent20: if the terminal does not memorialize shindig the cygnet is a Afroasiatic but it does not memorialize shindig. sent21: if the fact that the Sexton is not schismatic and/or it jacks is incorrect the cygnet is not non-stomatal. sent22: if the terminal does not memorialize shindig then the cygnet does not memorialize shindig. sent23: if the terminal is not a vasopressin it does not memorialize shindig. sent24: something is not a vasopressin if the fact that it is not a Afroasiatic and is a kind of a vasopressin does not hold. sent25: if something is a jacks but it is not a Afroasiatic that it is not a vasopressin is correct. sent26: if the fact that the brazier is an earthworm is not incorrect the Sexton is a jacks. sent27: the fact that the Sexton is not a generic and does germinate is not right. sent28: that the cygnet is a kind of an earthworm is true.
void -> assump1: Let's assume that the Sexton is not a generic and does not germinate.; sent9 & assump1 -> int1: the Sexton is not a jacks.; sent26 & sent6 -> int2: the Sexton is a jacks.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Sexton is not a generic and it does not germinate is not right.; int4 & sent2 -> int5: the terminal is not stomatal.; sent14 -> int6: if the terminal is not stomatal then that it is a vasopressin and it is schismatic is wrong.; int5 & int6 -> int7: the fact that the terminal is a vasopressin and schismatic is incorrect.; sent3 -> int8: the terminal does not memorialize shindig if the fact that it is a vasopressin and it is schismatic is false.; int7 & int8 -> int9: the terminal does not memorialize shindig.; int9 & sent20 -> int10: the cygnet is a Afroasiatic and does not memorialize shindig.; sent19 -> int11: if that the cygnet is a Afroasiatic that does not memorialize shindig hold it is not a kind of a lactogen.; int10 & int11 -> hypothesis;
the cygnet is a lactogen.
sent1 -> int12: the fact that if the cygnet is stomatal then the cygnet is a lactogen is correct.; sent24 -> int13: if that the Sexton is not a kind of a Afroasiatic but it is a vasopressin is not correct it is not a kind of a vasopressin.; sent8 -> int14: that the Sexton is both not a Afroasiatic and a vasopressin is incorrect if it does not memorialize shindig.;
$hypothesis$ = the cygnet is not a lactogen. ; $context$ = sent1: if something is stomatal then it is a lactogen. sent2: if that the fact that the Sexton is not a generic and it does not germinate hold is not correct then the terminal is not stomatal. sent3: if the fact that something is both a vasopressin and schismatic is false then it does not memorialize shindig. sent4: if something that is a Afroasiatic does memorialize shindig then it is not a lactogen. sent5: if the Sexton is not a generic then the terminal is both a vasopressin and not generic. sent6: the brazier is an earthworm. sent7: the cygnet does not memorialize shindig. sent8: the fact that something is both not a Afroasiatic and a vasopressin is not right if it does not memorialize shindig. sent9: the Sexton does not jack if it is not a kind of a generic and it does not germinate. sent10: if the Sexton is stomatal then the terminal does not jack. sent11: if the Sexton is not a kind of a generic and does germinate then it is not a jacks. sent12: if the Sexton does germinate then the terminal is not stomatal. sent13: if something is not a vasopressin then it does not memorialize shindig. sent14: that something is a vasopressin and it is schismatic is not right if it is not stomatal. sent15: the Sexton does not germinate. sent16: the fact that that the cygnet is stomatal and it is a lactogen is not true is not wrong. sent17: if the fact that the cygnet is not a jacks hold the Sexton memorializes shindig. sent18: something is a Wyomingite but it is not a kind of an earthworm. sent19: something is not a kind of a lactogen if it is a Afroasiatic and does not memorialize shindig. sent20: if the terminal does not memorialize shindig the cygnet is a Afroasiatic but it does not memorialize shindig. sent21: if the fact that the Sexton is not schismatic and/or it jacks is incorrect the cygnet is not non-stomatal. sent22: if the terminal does not memorialize shindig then the cygnet does not memorialize shindig. sent23: if the terminal is not a vasopressin it does not memorialize shindig. sent24: something is not a vasopressin if the fact that it is not a Afroasiatic and is a kind of a vasopressin does not hold. sent25: if something is a jacks but it is not a Afroasiatic that it is not a vasopressin is correct. sent26: if the fact that the brazier is an earthworm is not incorrect the Sexton is a jacks. sent27: the fact that the Sexton is not a generic and does germinate is not right. sent28: that the cygnet is a kind of an earthworm is true. ; $proof$ = 
void -> assump1: Let's assume that the Sexton is not a generic and does not germinate.; sent9 & assump1 -> int1: the Sexton is not a jacks.; sent26 & sent6 -> int2: the Sexton is a jacks.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the Sexton is not a generic and it does not germinate is not right.; int4 & sent2 -> int5: the terminal is not stomatal.; sent14 -> int6: if the terminal is not stomatal then that it is a vasopressin and it is schismatic is wrong.; int5 & int6 -> int7: the fact that the terminal is a vasopressin and schismatic is incorrect.; sent3 -> int8: the terminal does not memorialize shindig if the fact that it is a vasopressin and it is schismatic is false.; int7 & int8 -> int9: the terminal does not memorialize shindig.; int9 & sent20 -> int10: the cygnet is a Afroasiatic and does not memorialize shindig.; sent19 -> int11: if that the cygnet is a Afroasiatic that does not memorialize shindig hold it is not a kind of a lactogen.; int10 & int11 -> hypothesis; __PROVED__