the mantelet is a kind of a seeder.
sent1: something is a Oleandra if that it is not bignoniaceous is not incorrect. sent2: if the Oto is corporatist the fact that it is autotomic and/or not a semicolon is wrong. sent3: the mantelet is a semicolon. sent4: if there is something such that it is not a Chadian and it is not a loosestrife then that the Johnny-jump-up is not bignoniaceous is not wrong. sent5: if the fact that the Oto does not subtract lightwood and/or is a kind of a Baptisia does not hold then the Johnny-jump-up does not subtract lightwood. sent6: something does not federalize disagreement if the fact that it is autotomic and/or it is not a semicolon does not hold. sent7: that something is autotomic but it is not a seeder is not true if it is a semicolon. sent8: the mantelet is autotomic if the subcontractor is a Baptisia. sent9: the dogfighter does not federalize disagreement. sent10: the fact that something is both a Oleandra and not bignoniaceous is wrong if it does not subtract lightwood. sent11: the Oto is a corporatist. sent12: the subcontractor is a Baptisia if something does not subtract lightwood and it does not federalize disagreement. sent13: there is something such that it is not a loosestrife. sent14: the Oto does not subtract lightwood and it does not federalize disagreement if the Johnny-jump-up is a Oleandra.
sent1 -> int1: if the Johnny-jump-up is not bignoniaceous then it is a kind of a Oleandra.; void -> assump1: Let's assume that the mantelet is not a seeder.; sent7 -> int2: if that the mantelet is a semicolon is not incorrect the fact that it is autotomic and it is not a seeder is not right.; int2 & sent3 -> int3: that the mantelet is autotomic but it is not a seeder is wrong.;
the mantelet is not a seeder.
sent10 -> int4: the fact that the Johnny-jump-up is a Oleandra and is not bignoniaceous is wrong if it does not subtract lightwood.; sent6 -> int5: the Oto does not federalize disagreement if that it is autotomic and/or it is not a semicolon is incorrect.; sent2 & sent11 -> int6: the fact that the Oto is autotomic or not a semicolon or both is not true.; int5 & int6 -> int7: the Oto does not federalize disagreement.;
$hypothesis$ = the mantelet is a kind of a seeder. ; $context$ = sent1: something is a Oleandra if that it is not bignoniaceous is not incorrect. sent2: if the Oto is corporatist the fact that it is autotomic and/or not a semicolon is wrong. sent3: the mantelet is a semicolon. sent4: if there is something such that it is not a Chadian and it is not a loosestrife then that the Johnny-jump-up is not bignoniaceous is not wrong. sent5: if the fact that the Oto does not subtract lightwood and/or is a kind of a Baptisia does not hold then the Johnny-jump-up does not subtract lightwood. sent6: something does not federalize disagreement if the fact that it is autotomic and/or it is not a semicolon does not hold. sent7: that something is autotomic but it is not a seeder is not true if it is a semicolon. sent8: the mantelet is autotomic if the subcontractor is a Baptisia. sent9: the dogfighter does not federalize disagreement. sent10: the fact that something is both a Oleandra and not bignoniaceous is wrong if it does not subtract lightwood. sent11: the Oto is a corporatist. sent12: the subcontractor is a Baptisia if something does not subtract lightwood and it does not federalize disagreement. sent13: there is something such that it is not a loosestrife. sent14: the Oto does not subtract lightwood and it does not federalize disagreement if the Johnny-jump-up is a Oleandra. ; $proof$ = 
sent1 -> int1: if the Johnny-jump-up is not bignoniaceous then it is a kind of a Oleandra.; void -> assump1: Let's assume that the mantelet is not a seeder.; sent7 -> int2: if that the mantelet is a semicolon is not incorrect the fact that it is autotomic and it is not a seeder is not right.; int2 & sent3 -> int3: that the mantelet is autotomic but it is not a seeder is wrong.; __UNKNOWN__