the exarch is not nonretractile but it is a slave-maker.
sent1: that something is a slave-maker hold if the fact that it does not embrown autoplasty and is not a Diaspididae is not right. sent2: if something that does embrown breve does unclothe placentation the fact that it is not a gear is correct. sent3: the exarch is not a fifty but it is nonretractile if the camelhair is subcortical. sent4: there is something such that the fact that it is a stringency and/or keyless is false. sent5: if the monoplane is subcortical the camelhair is a fifty. sent6: if the fact that there is something such that the fact that it is a stringency and/or it is keyless is not true is not false the monoplane is subcortical. sent7: the fact that the monoplane does not embrown autoplasty and it is not a Diaspididae is not true if it does not gear. sent8: if the camelhair is a fifty then the exarch is not nonretractile. sent9: if the camelhair is not a clear the monoplane embrowns breve and unclothes placentation. sent10: something is a stringency and/or it is keyless. sent11: the fact that something is retractile but it is a kind of a slave-maker is not right if it is subcortical. sent12: there exists something such that it is not a kind of a stringency. sent13: the exarch is not nonretractile. sent14: something is not keyless. sent15: that the exarch is not nonretractile but it is a slave-maker is not wrong if that the fact that the camelhair is not a fifty is false is not incorrect. sent16: that the camelhair is not a kind of a clear is right.
sent4 & sent6 -> int1: the monoplane is subcortical.; sent5 & int1 -> int2: that the camelhair is a kind of a fifty hold.; sent15 & int2 -> hypothesis;
the fact that the exarch is not non-subcortical is not wrong.
sent1 -> int3: the monoplane is a slave-maker if that it does not embrown autoplasty and is not a Diaspididae is not correct.; sent2 -> int4: that that the monoplane gears is true is not right if it embrowns breve and it unclothes placentation.; sent9 & sent16 -> int5: the monoplane does embrown breve and unclothes placentation.; int4 & int5 -> int6: the monoplane is not a kind of a gear.; sent7 & int6 -> int7: that the monoplane does not embrown autoplasty and is not a kind of a Diaspididae is not right.; int3 & int7 -> int8: the monoplane is a slave-maker.;
$hypothesis$ = the exarch is not nonretractile but it is a slave-maker. ; $context$ = sent1: that something is a slave-maker hold if the fact that it does not embrown autoplasty and is not a Diaspididae is not right. sent2: if something that does embrown breve does unclothe placentation the fact that it is not a gear is correct. sent3: the exarch is not a fifty but it is nonretractile if the camelhair is subcortical. sent4: there is something such that the fact that it is a stringency and/or keyless is false. sent5: if the monoplane is subcortical the camelhair is a fifty. sent6: if the fact that there is something such that the fact that it is a stringency and/or it is keyless is not true is not false the monoplane is subcortical. sent7: the fact that the monoplane does not embrown autoplasty and it is not a Diaspididae is not true if it does not gear. sent8: if the camelhair is a fifty then the exarch is not nonretractile. sent9: if the camelhair is not a clear the monoplane embrowns breve and unclothes placentation. sent10: something is a stringency and/or it is keyless. sent11: the fact that something is retractile but it is a kind of a slave-maker is not right if it is subcortical. sent12: there exists something such that it is not a kind of a stringency. sent13: the exarch is not nonretractile. sent14: something is not keyless. sent15: that the exarch is not nonretractile but it is a slave-maker is not wrong if that the fact that the camelhair is not a fifty is false is not incorrect. sent16: that the camelhair is not a kind of a clear is right. ; $proof$ = 
sent4 & sent6 -> int1: the monoplane is subcortical.; sent5 & int1 -> int2: that the camelhair is a kind of a fifty hold.; sent15 & int2 -> hypothesis; __PROVED__