that the parquetry is not pregnant hold.
sent1: the ankylosaur does teach exterminator. sent2: the kicker is a hindlimb if there is something such that that it is non-tactical thing that does teach exterminator is wrong. sent3: if the fact that that something is not a struggler and is not pregnant is not incorrect does not hold then it is pregnant. sent4: that the ankylosaur does not network metric and is not a struggler does not hold. sent5: if something is representational and/or it is not a nova the specimen is not a marauder. sent6: that the kicker is fluvial and does network metric does not hold if there exists something such that it is not a marauder. sent7: if something is not a hindlimb then that it is not a struggler and is not pregnant does not hold. sent8: if the fact that the ankylosaur does not network metric and is not a kind of a struggler is not true the fact that it is a struggler is not incorrect. sent9: the parquetry is not pregnant if that the kicker is a hindlimb hold. sent10: the ankylosaur is not nonpregnant if there is something such that the fact that it is not a kind of a struggler and it is tactical is incorrect. sent11: there is something such that it is not tactical and does teach exterminator. sent12: if the parquetry is a kind of a hindlimb then that the kicker is not a kind of a struggler and does not teach exterminator is not correct. sent13: if a non-tactical thing teaches exterminator that it is not a struggler is correct. sent14: the amnion is representational and/or it is not a kind of a nova. sent15: the parquetry is a kind of a hindlimb if that the specimen does not network metric but it is a kind of a hindlimb is false. sent16: that that the ankylosaur does not network metric but it is a struggler is correct is not correct. sent17: there is something such that the fact that it is tactical and does teach exterminator is not right.
sent13 -> int1: the ankylosaur is not a struggler if it is not tactical and it does teach exterminator.; void -> assump1: Let's assume that the ankylosaur is non-tactical thing that does teach exterminator.; int1 & assump1 -> int2: the ankylosaur is not a struggler.; sent8 & sent4 -> int3: the ankylosaur is a kind of a struggler.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the ankylosaur is a kind of non-tactical thing that does teach exterminator does not hold.; int5 -> int6: there exists something such that that it is a kind of non-tactical thing that teaches exterminator is not correct.; int6 & sent2 -> int7: the kicker is a hindlimb.; int7 & sent9 -> hypothesis;
the parquetry is pregnant.
sent3 -> int8: the fact that the parquetry is pregnant is not false if the fact that it is not a struggler and is not pregnant is not right.; sent7 -> int9: if the parquetry is not a hindlimb then that it is not a struggler and it is not pregnant is not right.; sent14 -> int10: something is representational and/or it is not a nova.; int10 & sent5 -> int11: the specimen is not a kind of a marauder.; int11 -> int12: there exists something such that the fact that it is not a marauder is not wrong.; int12 & sent6 -> int13: the fact that the kicker is fluvial and does network metric does not hold.; int13 -> int14: there is something such that that it is fluvial and networks metric is false.;
$hypothesis$ = that the parquetry is not pregnant hold. ; $context$ = sent1: the ankylosaur does teach exterminator. sent2: the kicker is a hindlimb if there is something such that that it is non-tactical thing that does teach exterminator is wrong. sent3: if the fact that that something is not a struggler and is not pregnant is not incorrect does not hold then it is pregnant. sent4: that the ankylosaur does not network metric and is not a struggler does not hold. sent5: if something is representational and/or it is not a nova the specimen is not a marauder. sent6: that the kicker is fluvial and does network metric does not hold if there exists something such that it is not a marauder. sent7: if something is not a hindlimb then that it is not a struggler and is not pregnant does not hold. sent8: if the fact that the ankylosaur does not network metric and is not a kind of a struggler is not true the fact that it is a struggler is not incorrect. sent9: the parquetry is not pregnant if that the kicker is a hindlimb hold. sent10: the ankylosaur is not nonpregnant if there is something such that the fact that it is not a kind of a struggler and it is tactical is incorrect. sent11: there is something such that it is not tactical and does teach exterminator. sent12: if the parquetry is a kind of a hindlimb then that the kicker is not a kind of a struggler and does not teach exterminator is not correct. sent13: if a non-tactical thing teaches exterminator that it is not a struggler is correct. sent14: the amnion is representational and/or it is not a kind of a nova. sent15: the parquetry is a kind of a hindlimb if that the specimen does not network metric but it is a kind of a hindlimb is false. sent16: that that the ankylosaur does not network metric but it is a struggler is correct is not correct. sent17: there is something such that the fact that it is tactical and does teach exterminator is not right. ; $proof$ = 
sent13 -> int1: the ankylosaur is not a struggler if it is not tactical and it does teach exterminator.; void -> assump1: Let's assume that the ankylosaur is non-tactical thing that does teach exterminator.; int1 & assump1 -> int2: the ankylosaur is not a struggler.; sent8 & sent4 -> int3: the ankylosaur is a kind of a struggler.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the ankylosaur is a kind of non-tactical thing that does teach exterminator does not hold.; int5 -> int6: there exists something such that that it is a kind of non-tactical thing that teaches exterminator is not correct.; int6 & sent2 -> int7: the kicker is a hindlimb.; int7 & sent9 -> hypothesis; __PROVED__