the Testudo is spermicidal.
sent1: if there are non-predicative things then that the syphilitic is non-predicative but it does not submerge does not hold. sent2: something does not rekindle incest. sent3: a sort is non-counterfeit thing that is monocarboxylic. sent4: if the fact that something is not a chandelier but it is a counterfeit is incorrect it is monocarboxylic. sent5: something is spermicidal if it is monocarboxylic. sent6: if something does not strain deerskin the bead is a sort. sent7: the halothane is not predicative. sent8: the Prussian does not strain deerskin if the seer strain deerskin and is not a decalescence. sent9: if that the syphilitic is predicative but it does not submerge is not right then it does submerge. sent10: the Testudo is not spermicidal if that the blindfold rekindles incest and it is a chandelier is not right. sent11: the seer does strain deerskin and is not a decalescence if the syphilitic submerges. sent12: if the fact that the fact that something is not a Chapman but it is a kind of a penguin hold is not right it rekindles soccer.
sent4 -> int1: the Testudo is monocarboxylic if the fact that it is not a kind of a chandelier and is a counterfeit does not hold.; sent5 -> int2: the Testudo is spermicidal if it is monocarboxylic.;
the Testudo is not spermicidal.
sent3 -> int3: the bead is not a kind of a counterfeit but it is monocarboxylic if it is a sort.; sent7 -> int4: there are non-predicative things.; int4 & sent1 -> int5: the fact that the syphilitic is predicative but it does not submerge does not hold.; sent9 & int5 -> int6: the syphilitic submerges.; sent11 & int6 -> int7: the seer does strain deerskin but it is not a decalescence.; sent8 & int7 -> int8: the fact that the Prussian does not strain deerskin is true.; int8 -> int9: there exists something such that that it does not strain deerskin is not wrong.; int9 & sent6 -> int10: the bead is a sort.; int3 & int10 -> int11: the bead is a kind of non-counterfeit thing that is monocarboxylic.; int11 -> int12: that the bead is not counterfeit is correct.; int12 -> int13: there is something such that it is not counterfeit.;
$hypothesis$ = the Testudo is spermicidal. ; $context$ = sent1: if there are non-predicative things then that the syphilitic is non-predicative but it does not submerge does not hold. sent2: something does not rekindle incest. sent3: a sort is non-counterfeit thing that is monocarboxylic. sent4: if the fact that something is not a chandelier but it is a counterfeit is incorrect it is monocarboxylic. sent5: something is spermicidal if it is monocarboxylic. sent6: if something does not strain deerskin the bead is a sort. sent7: the halothane is not predicative. sent8: the Prussian does not strain deerskin if the seer strain deerskin and is not a decalescence. sent9: if that the syphilitic is predicative but it does not submerge is not right then it does submerge. sent10: the Testudo is not spermicidal if that the blindfold rekindles incest and it is a chandelier is not right. sent11: the seer does strain deerskin and is not a decalescence if the syphilitic submerges. sent12: if the fact that the fact that something is not a Chapman but it is a kind of a penguin hold is not right it rekindles soccer. ; $proof$ = 
sent4 -> int1: the Testudo is monocarboxylic if the fact that it is not a kind of a chandelier and is a counterfeit does not hold.; sent5 -> int2: the Testudo is spermicidal if it is monocarboxylic.; __UNKNOWN__