the metopion is not a Macao.
sent1: the overdrive is a convexity if the duplex is not a convexity and it does not multiply footer. sent2: there exists something such that the fact that it does not patronage spacecraft does not hold. sent3: there is something such that it does not patronage secondment. sent4: the dowel is a kind of a convexity. sent5: something is a kind of printable thing that is a Macao. sent6: the fact that the dowel hydroplanes is true. sent7: the dowel does patronage spacecraft if something that does not unfasten Binet does hydroplane. sent8: the dowel does poultice removed if it patronages spacecraft. sent9: the metopion hydroplanes. sent10: there is something such that it does not unfasten Binet and it does hydroplane. sent11: if the dowel does poultice removed and is a convexity it does not multiply footer. sent12: there exists something such that it does not unfasten Binet. sent13: the metopion does not patronage secondment. sent14: the fact that the fact that the metopion is Columbian or it does multiply outcrop or both is not incorrect does not hold. sent15: if the duplex does patronage secondment it is not a kind of a convexity and does not multiply footer. sent16: if something does not multiply footer that the overdrive patronages secondment and/or is unprintable does not hold. sent17: there exists something such that it does multiply footer.
sent10 & sent7 -> int1: the dowel does patronage spacecraft.; int1 & sent8 -> int2: the dowel does poultice removed.; int2 & sent4 -> int3: the dowel poultices removed and is a convexity.; int3 & sent11 -> int4: the dowel does not multiply footer.; int4 -> int5: there exists something such that it does not multiply footer.; int5 & sent16 -> int6: the fact that the overdrive either patronages secondment or is unprintable or both is not true.; int6 -> int7: there exists something such that the fact that either it patronages secondment or it is unprintable or both is not true.;
the metopion is a kind of a Macao.
$hypothesis$ = the metopion is not a Macao. ; $context$ = sent1: the overdrive is a convexity if the duplex is not a convexity and it does not multiply footer. sent2: there exists something such that the fact that it does not patronage spacecraft does not hold. sent3: there is something such that it does not patronage secondment. sent4: the dowel is a kind of a convexity. sent5: something is a kind of printable thing that is a Macao. sent6: the fact that the dowel hydroplanes is true. sent7: the dowel does patronage spacecraft if something that does not unfasten Binet does hydroplane. sent8: the dowel does poultice removed if it patronages spacecraft. sent9: the metopion hydroplanes. sent10: there is something such that it does not unfasten Binet and it does hydroplane. sent11: if the dowel does poultice removed and is a convexity it does not multiply footer. sent12: there exists something such that it does not unfasten Binet. sent13: the metopion does not patronage secondment. sent14: the fact that the fact that the metopion is Columbian or it does multiply outcrop or both is not incorrect does not hold. sent15: if the duplex does patronage secondment it is not a kind of a convexity and does not multiply footer. sent16: if something does not multiply footer that the overdrive patronages secondment and/or is unprintable does not hold. sent17: there exists something such that it does multiply footer. ; $proof$ = 
sent10 & sent7 -> int1: the dowel does patronage spacecraft.; int1 & sent8 -> int2: the dowel does poultice removed.; int2 & sent4 -> int3: the dowel poultices removed and is a convexity.; int3 & sent11 -> int4: the dowel does not multiply footer.; int4 -> int5: there exists something such that it does not multiply footer.; int5 & sent16 -> int6: the fact that the overdrive either patronages secondment or is unprintable or both is not true.; int6 -> int7: there exists something such that the fact that either it patronages secondment or it is unprintable or both is not true.; __UNKNOWN__