the stepson is not adaptive.
sent1: the fact that the warrior is a surprise but it is not an additive is not correct. sent2: the fact that the warrior is not a kind of the Bolivian if the warrior does surprise hold. sent3: the warrior is adaptive but it is not a petiolule if there is something such that it is not additive. sent4: the stepson is not a dame. sent5: if something is a surprise it is not Bolivian. sent6: the fact that the yawn does not urticate Bosch hold if that it is not a kind of a petiolule and it is not a kind of a Moroccan is incorrect. sent7: the stepson is a petiolule. sent8: the dottle is irreplaceable. sent9: the stepson is a kind of a petiolule but it is not adaptive if there is something such that it is not a Bolivian. sent10: the warrior is a kind of an additive. sent11: the fact that something is a Bolivian and an additive does not hold if it is not a petiolule. sent12: if something is not a kind of a surprise it is adaptive. sent13: the warrior does not surprise. sent14: something is not a Bolivian if that it is not a surprise and it is not additive is false. sent15: if the fact that something does not fingerprint and it is not a round does not hold it is not an overdrive. sent16: that the stepson is a petiolule if there is something such that it is not Bolivian is not false. sent17: there are Bolivian things.
void -> assump1: Let's assume that the fact that the warrior is not a surprise and not an additive is not incorrect.; assump1 -> int1: the warrior is not additive.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the warrior is not a kind of a surprise and it is not an additive does not hold.; sent14 -> int4: the warrior is not Bolivian if that the fact that it is not a surprise and it is not an additive is true does not hold.; int3 & int4 -> int5: the warrior is not a Bolivian.; int5 -> int6: there exists something such that it is not a Bolivian.; int6 & sent9 -> int7: the stepson is a petiolule but it is not adaptive.; int7 -> hypothesis;
the stepson is adaptive.
sent12 -> int8: if the stepson is not a surprise then it is adaptive.; sent11 -> int9: the fact that that the warrior is a Bolivian and it is a kind of an additive is not incorrect is not true if it is not a kind of a petiolule.;
$hypothesis$ = the stepson is not adaptive. ; $context$ = sent1: the fact that the warrior is a surprise but it is not an additive is not correct. sent2: the fact that the warrior is not a kind of the Bolivian if the warrior does surprise hold. sent3: the warrior is adaptive but it is not a petiolule if there is something such that it is not additive. sent4: the stepson is not a dame. sent5: if something is a surprise it is not Bolivian. sent6: the fact that the yawn does not urticate Bosch hold if that it is not a kind of a petiolule and it is not a kind of a Moroccan is incorrect. sent7: the stepson is a petiolule. sent8: the dottle is irreplaceable. sent9: the stepson is a kind of a petiolule but it is not adaptive if there is something such that it is not a Bolivian. sent10: the warrior is a kind of an additive. sent11: the fact that something is a Bolivian and an additive does not hold if it is not a petiolule. sent12: if something is not a kind of a surprise it is adaptive. sent13: the warrior does not surprise. sent14: something is not a Bolivian if that it is not a surprise and it is not additive is false. sent15: if the fact that something does not fingerprint and it is not a round does not hold it is not an overdrive. sent16: that the stepson is a petiolule if there is something such that it is not Bolivian is not false. sent17: there are Bolivian things. ; $proof$ = 
void -> assump1: Let's assume that the fact that the warrior is not a surprise and not an additive is not incorrect.; assump1 -> int1: the warrior is not additive.; int1 & sent10 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the warrior is not a kind of a surprise and it is not an additive does not hold.; sent14 -> int4: the warrior is not Bolivian if that the fact that it is not a surprise and it is not an additive is true does not hold.; int3 & int4 -> int5: the warrior is not a Bolivian.; int5 -> int6: there exists something such that it is not a Bolivian.; int6 & sent9 -> int7: the stepson is a petiolule but it is not adaptive.; int7 -> hypothesis; __PROVED__