that the seconder does surmise servitude is right.
sent1: the Garrison does surmise procurement. sent2: if the Turkmen is not a hypernymy then it is not a Nazi. sent3: the Garrison is an exclamation if that the uncle is a princewood but it is not a polarity is not right. sent4: if the fact that something either is an exclamation or does not surmise procurement or both is not right it is not a hemosiderin. sent5: The procurement does surmise Garrison. sent6: the Turkmen is not acarpelous if it is not Nazi. sent7: if something that is a princewood is not a polarity then the Turkmen is not a hemosiderin. sent8: if the Garrison is an exclamation and surmises procurement then it does not outstare innervation. sent9: the fact that the guano does not outstare innervation and is not acarpelous is not correct if the Garrison does not outstare innervation. sent10: if something is not a kind of an exclamation or it does not surmise servitude or both it does not surmise servitude. sent11: that the uncle is a princewood is correct. sent12: if that the uncle is a kind of a polarity that is not a kind of a hemosiderin is wrong the Garrison does outstare innervation. sent13: the graphologist outstares innervation and surmises servitude if the Turkmen is not acarpelous. sent14: that the Turkmen is a hemosiderin hold. sent15: if the fact that the guano does outstare innervation is not incorrect then the seconder surmises servitude. sent16: if the Garrison does not outstare innervation then that the guano does outstare innervation and is not acarpelous is incorrect.
void -> assump1: Let's assume that the uncle is a kind of a princewood but it is not a polarity.; assump1 -> int1: something is a princewood and not a polarity.; int1 & sent7 -> int2: the Turkmen is not a hemosiderin.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the uncle is both a princewood and not a polarity is not true.; int4 & sent3 -> int5: the Garrison is an exclamation.; int5 & sent1 -> int6: the Garrison is an exclamation and it does surmise procurement.; int6 & sent8 -> int7: that the Garrison does not outstare innervation is right.; int7 & sent9 -> int8: that the guano does not outstare innervation and it is non-acarpelous does not hold.;
the seconder does not surmise servitude.
sent10 -> int9: the seconder does not surmise servitude if it is not a kind of an exclamation and/or it does not surmise servitude.;
$hypothesis$ = that the seconder does surmise servitude is right. ; $context$ = sent1: the Garrison does surmise procurement. sent2: if the Turkmen is not a hypernymy then it is not a Nazi. sent3: the Garrison is an exclamation if that the uncle is a princewood but it is not a polarity is not right. sent4: if the fact that something either is an exclamation or does not surmise procurement or both is not right it is not a hemosiderin. sent5: The procurement does surmise Garrison. sent6: the Turkmen is not acarpelous if it is not Nazi. sent7: if something that is a princewood is not a polarity then the Turkmen is not a hemosiderin. sent8: if the Garrison is an exclamation and surmises procurement then it does not outstare innervation. sent9: the fact that the guano does not outstare innervation and is not acarpelous is not correct if the Garrison does not outstare innervation. sent10: if something is not a kind of an exclamation or it does not surmise servitude or both it does not surmise servitude. sent11: that the uncle is a princewood is correct. sent12: if that the uncle is a kind of a polarity that is not a kind of a hemosiderin is wrong the Garrison does outstare innervation. sent13: the graphologist outstares innervation and surmises servitude if the Turkmen is not acarpelous. sent14: that the Turkmen is a hemosiderin hold. sent15: if the fact that the guano does outstare innervation is not incorrect then the seconder surmises servitude. sent16: if the Garrison does not outstare innervation then that the guano does outstare innervation and is not acarpelous is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the uncle is a kind of a princewood but it is not a polarity.; assump1 -> int1: something is a princewood and not a polarity.; int1 & sent7 -> int2: the Turkmen is not a hemosiderin.; int2 & sent14 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the uncle is both a princewood and not a polarity is not true.; int4 & sent3 -> int5: the Garrison is an exclamation.; int5 & sent1 -> int6: the Garrison is an exclamation and it does surmise procurement.; int6 & sent8 -> int7: that the Garrison does not outstare innervation is right.; int7 & sent9 -> int8: that the guano does not outstare innervation and it is non-acarpelous does not hold.; __UNKNOWN__