that the gunnel does not accelerate Dior but it is a metropolitan is incorrect.
sent1: if the gunnel does accelerate Dior then the garnet is not a parasympathetic. sent2: the garnet is not a parasympathetic. sent3: if the gunnel is a kind of an herbal the garnet is not a parasympathetic and is not a metropolitan. sent4: the gunnel is not denominational but it is concentric. sent5: the garnet is not a parasympathetic and it does not company if the gunnel accelerates Dior. sent6: if the fact that the gunnel is herbal and is not a metropolitan is not correct then the garnet does not accelerate Dior. sent7: the garnet is an herbal. sent8: that the garnet does wave surfing is not incorrect. sent9: something is not motional if the fact that it is motional thing that is not basidiomycetous is false. sent10: if the garnet is a parasympathetic but it is not a kind of a company it is not an herbal. sent11: something is a let and is a kind of a metropolitan if it is not motional. sent12: that something does not accelerate Dior and is metropolitan does not hold if it is an herbal. sent13: the garnet does not accelerate Dior and it is not a parasympathetic. sent14: the fact that the epigenesis is motional but it is not basidiomycetous is incorrect if the fuselage is not a reorientation. sent15: the garnet is not a parasympathetic and it is not a kind of a metropolitan. sent16: if the garnet is not a parasympathetic and is not a company it is not a kind of an herbal. sent17: the gunnel is metropolitan. sent18: if the fact that the garnet is not a kind of a reorientation and it does not let is incorrect it is a let.
void -> assump1: Let's assume that the gunnel does accelerate Dior.; sent5 & assump1 -> int1: the garnet is both not a parasympathetic and not a company.; int1 & sent16 -> int2: the garnet is not an herbal.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gunnel does not accelerate Dior.; int4 & sent17 -> hypothesis;
that that the gunnel does not accelerate Dior but it is metropolitan is true is not correct.
sent12 -> int5: if the fact that the gunnel is an herbal hold that it does not accelerate Dior and it is metropolitan is false.;
$hypothesis$ = that the gunnel does not accelerate Dior but it is a metropolitan is incorrect. ; $context$ = sent1: if the gunnel does accelerate Dior then the garnet is not a parasympathetic. sent2: the garnet is not a parasympathetic. sent3: if the gunnel is a kind of an herbal the garnet is not a parasympathetic and is not a metropolitan. sent4: the gunnel is not denominational but it is concentric. sent5: the garnet is not a parasympathetic and it does not company if the gunnel accelerates Dior. sent6: if the fact that the gunnel is herbal and is not a metropolitan is not correct then the garnet does not accelerate Dior. sent7: the garnet is an herbal. sent8: that the garnet does wave surfing is not incorrect. sent9: something is not motional if the fact that it is motional thing that is not basidiomycetous is false. sent10: if the garnet is a parasympathetic but it is not a kind of a company it is not an herbal. sent11: something is a let and is a kind of a metropolitan if it is not motional. sent12: that something does not accelerate Dior and is metropolitan does not hold if it is an herbal. sent13: the garnet does not accelerate Dior and it is not a parasympathetic. sent14: the fact that the epigenesis is motional but it is not basidiomycetous is incorrect if the fuselage is not a reorientation. sent15: the garnet is not a parasympathetic and it is not a kind of a metropolitan. sent16: if the garnet is not a parasympathetic and is not a company it is not a kind of an herbal. sent17: the gunnel is metropolitan. sent18: if the fact that the garnet is not a kind of a reorientation and it does not let is incorrect it is a let. ; $proof$ = 
void -> assump1: Let's assume that the gunnel does accelerate Dior.; sent5 & assump1 -> int1: the garnet is both not a parasympathetic and not a company.; int1 & sent16 -> int2: the garnet is not an herbal.; int2 & sent7 -> int3: this is contradiction.; [assump1] & int3 -> int4: the gunnel does not accelerate Dior.; int4 & sent17 -> hypothesis; __DISPROVED__