the loam is not a centaury or it does not concretize viola or both.
sent1: if the airscrew does not descry hero but it is Unitarian the central is a Unitarian. sent2: the viola is a Unitarian. sent3: if that the central does not descry hero and is not a meteorology is not true then the viola does not descry hero. sent4: there is something such that it is not a respected and does not concretize semidesert. sent5: that the central does not concretize viola is correct. sent6: if the viola is a kind of an endemic either the loam is not a centaury or it does not concretize viola or both. sent7: if the viola does not descry hero that either the loam is unintelligible or it is Unitarian or both is not true. sent8: the central is not a kind of a Unitarian if something is a kind of non-endemic thing that is not unintelligible. sent9: there is something such that it does descry hero and it is not a Unitarian. sent10: the airscrew does not descry hero and is a kind of a Unitarian. sent11: if that the loam is a centaury is right then the central does not descry hero and/or it is not a Unitarian. sent12: the semidesert does not corrode and it is not unintelligible. sent13: the viola is not unintelligible. sent14: something is not an endemic. sent15: something is not an endemic if the fact that it is unintelligible or is a kind of a Unitarian or both is not true. sent16: the central does actualize. sent17: the loam is not a kind of a centaury and/or it concretizes viola. sent18: if something is not an endemic the fact that either it is not a kind of a centaury or it does not concretize viola or both is incorrect.
void -> assump1: Let's assume that the viola is not a kind of an endemic.; assump1 & sent13 -> int1: the viola is not an endemic but intelligible.; int1 -> int2: something is both not an endemic and not unintelligible.; int2 & sent8 -> int3: the central is not a kind of a Unitarian.; sent1 & sent10 -> int4: the fact that the central is a Unitarian is right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the viola is endemic.; int6 & sent6 -> hypothesis;
the fact that the loam is not a kind of a centaury or it does not concretize viola or both is false.
sent18 -> int7: if the loam is not an endemic then the fact that that it is not a centaury or it does not concretize viola or both is right is not correct.; sent15 -> int8: the loam is not endemic if that it is unintelligible and/or Unitarian is not true.;
$hypothesis$ = the loam is not a centaury or it does not concretize viola or both. ; $context$ = sent1: if the airscrew does not descry hero but it is Unitarian the central is a Unitarian. sent2: the viola is a Unitarian. sent3: if that the central does not descry hero and is not a meteorology is not true then the viola does not descry hero. sent4: there is something such that it is not a respected and does not concretize semidesert. sent5: that the central does not concretize viola is correct. sent6: if the viola is a kind of an endemic either the loam is not a centaury or it does not concretize viola or both. sent7: if the viola does not descry hero that either the loam is unintelligible or it is Unitarian or both is not true. sent8: the central is not a kind of a Unitarian if something is a kind of non-endemic thing that is not unintelligible. sent9: there is something such that it does descry hero and it is not a Unitarian. sent10: the airscrew does not descry hero and is a kind of a Unitarian. sent11: if that the loam is a centaury is right then the central does not descry hero and/or it is not a Unitarian. sent12: the semidesert does not corrode and it is not unintelligible. sent13: the viola is not unintelligible. sent14: something is not an endemic. sent15: something is not an endemic if the fact that it is unintelligible or is a kind of a Unitarian or both is not true. sent16: the central does actualize. sent17: the loam is not a kind of a centaury and/or it concretizes viola. sent18: if something is not an endemic the fact that either it is not a kind of a centaury or it does not concretize viola or both is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the viola is not a kind of an endemic.; assump1 & sent13 -> int1: the viola is not an endemic but intelligible.; int1 -> int2: something is both not an endemic and not unintelligible.; int2 & sent8 -> int3: the central is not a kind of a Unitarian.; sent1 & sent10 -> int4: the fact that the central is a Unitarian is right.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the viola is endemic.; int6 & sent6 -> hypothesis; __PROVED__