the March is not a kind of an exponent and it is not adoptive.
sent1: something is tentacular. sent2: if the fact that the trekker is not a kind of a sectional and/or it is not a kind of a scouting is false it is not an exponent. sent3: if the fact that the trekker is not adoptive hold then the March is not adoptive and it is not a sectional. sent4: the fact that the March is non-sectional hold if that it is not adoptive and/or it is an exponent is not correct. sent5: if the fact that the trekker is sectional or it is not a scouting or both is incorrect it is not an exponent. sent6: if the trekker is not an exponent the March is not an exponent. sent7: that the trekker does not read echocardiogram or it is not a kind of a divinity or both is incorrect if something is not a kind of an exponent. sent8: if something is tentacular then the fact that it is not an exponent and not adoptive is not correct. sent9: if the trekker is not an exponent the March is both not an exponent and not adoptive. sent10: if the fact that the trekker is not a sectional and/or it is a kind of a scouting is wrong then it is not a kind of an exponent. sent11: if the trekker is not an exponent the March is not an exponent and it is not a kind of a scouting. sent12: something is not a kind of a scouting if the fact that it is tentacular and scouting is not right. sent13: there exists something such that it is not tentacular. sent14: the fact that either the Croesus is not a kind of an exponent or it is not a secessionist or both is not right. sent15: the March is not an exponent. sent16: that the March is not calcaneal and/or it is not a kind of a hyperthermia is wrong. sent17: that either the trekker is not a kind of a sectional or it does not scout or both does not hold if there exists something such that it is not tentacular.
sent13 & sent17 -> int1: the fact that the trekker is not sectional and/or it is not a scouting is wrong.; int1 & sent2 -> int2: the trekker is not an exponent.; int2 & sent9 -> hypothesis;
the fact that the March is both not an exponent and not adoptive is not correct.
sent8 -> int3: if the March is not non-tentacular the fact that it is not an exponent and not adoptive is not right.;
$hypothesis$ = the March is not a kind of an exponent and it is not adoptive. ; $context$ = sent1: something is tentacular. sent2: if the fact that the trekker is not a kind of a sectional and/or it is not a kind of a scouting is false it is not an exponent. sent3: if the fact that the trekker is not adoptive hold then the March is not adoptive and it is not a sectional. sent4: the fact that the March is non-sectional hold if that it is not adoptive and/or it is an exponent is not correct. sent5: if the fact that the trekker is sectional or it is not a scouting or both is incorrect it is not an exponent. sent6: if the trekker is not an exponent the March is not an exponent. sent7: that the trekker does not read echocardiogram or it is not a kind of a divinity or both is incorrect if something is not a kind of an exponent. sent8: if something is tentacular then the fact that it is not an exponent and not adoptive is not correct. sent9: if the trekker is not an exponent the March is both not an exponent and not adoptive. sent10: if the fact that the trekker is not a sectional and/or it is a kind of a scouting is wrong then it is not a kind of an exponent. sent11: if the trekker is not an exponent the March is not an exponent and it is not a kind of a scouting. sent12: something is not a kind of a scouting if the fact that it is tentacular and scouting is not right. sent13: there exists something such that it is not tentacular. sent14: the fact that either the Croesus is not a kind of an exponent or it is not a secessionist or both is not right. sent15: the March is not an exponent. sent16: that the March is not calcaneal and/or it is not a kind of a hyperthermia is wrong. sent17: that either the trekker is not a kind of a sectional or it does not scout or both does not hold if there exists something such that it is not tentacular. ; $proof$ = 
sent13 & sent17 -> int1: the fact that the trekker is not sectional and/or it is not a scouting is wrong.; int1 & sent2 -> int2: the trekker is not an exponent.; int2 & sent9 -> hypothesis; __PROVED__