that if the sealant is a Montespan the trend-setter is not abaxial and is not a kind of a lengthiness does not hold.
sent1: the trend-setter is a lengthiness. sent2: there exists something such that the fact that it is abaxial and it is not a lengthiness is wrong. sent3: there exists something such that it is abaxial. sent4: the fact that the trend-setter is abaxial but it is not a lengthiness is not right. sent5: there exists something such that it is both not a Montespan and not abaxial. sent6: the trend-setter is abaxial. sent7: if there exists something such that that it is both non-abaxial and not a lengthiness is not correct then the sealant is not a kind of a Montespan.
void -> assump2: Let's assume that the fact that the trend-setter is not abaxial and is not a lengthiness is not right.; assump2 -> int1: there is something such that the fact that it is not abaxial and not a lengthiness is not correct.; int1 & sent7 -> int2: the sealant is not a kind of a Montespan.; void -> assump1: Let's assume that the sealant is a Montespan.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the trend-setter is not abaxial and it is not a kind of a lengthiness.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that if the sealant is a Montespan the trend-setter is not abaxial and is not a kind of a lengthiness does not hold. ; $context$ = sent1: the trend-setter is a lengthiness. sent2: there exists something such that the fact that it is abaxial and it is not a lengthiness is wrong. sent3: there exists something such that it is abaxial. sent4: the fact that the trend-setter is abaxial but it is not a lengthiness is not right. sent5: there exists something such that it is both not a Montespan and not abaxial. sent6: the trend-setter is abaxial. sent7: if there exists something such that that it is both non-abaxial and not a lengthiness is not correct then the sealant is not a kind of a Montespan. ; $proof$ = 
void -> assump2: Let's assume that the fact that the trend-setter is not abaxial and is not a lengthiness is not right.; assump2 -> int1: there is something such that the fact that it is not abaxial and not a lengthiness is not correct.; int1 & sent7 -> int2: the sealant is not a kind of a Montespan.; void -> assump1: Let's assume that the sealant is a Montespan.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: the trend-setter is not abaxial and it is not a kind of a lengthiness.; [assump1] & int4 -> hypothesis; __DISPROVED__