the attar does not variegate but it is a mandate.
sent1: the hemimorphite is not a mandate but elegiac. sent2: if the hemimorphite is a kind of a night-stop then it is not elegiac and it does not assent. sent3: the hemimorphite assails event and is elegiac. sent4: if there is something such that it is a kind of a material the attar does not variegate but it mandates. sent5: there exists something such that it is stagflationary. sent6: that the attar does not assail event is not wrong if the hemimorphite does not assail event and is not a kind of a material. sent7: the attar does not variegate if something is a material. sent8: the orator does assail event. sent9: the attar does not variegate. sent10: if there is something such that it does variegate then the attar is not a kind of a mandate but it is elegiac. sent11: the hemimorphite is elegiac. sent12: something does not assail event and is not a material if it is not elegiac. sent13: the orator is not a heronry and is not non-potential. sent14: if the hemimorphite does assail event the orator is a material. sent15: the attar is a kind of an eclectic. sent16: if that the attar does assail event hold then the hemimorphite variegates.
sent3 -> int1: the hemimorphite assails event.; sent14 & int1 -> int2: the orator is material.; int2 -> int3: there are material things.; int3 & sent4 -> hypothesis;
that the attar does not variegate and is a mandate is not right.
sent12 -> int4: the hemimorphite does not assail event and it is not material if it is non-elegiac.;
$hypothesis$ = the attar does not variegate but it is a mandate. ; $context$ = sent1: the hemimorphite is not a mandate but elegiac. sent2: if the hemimorphite is a kind of a night-stop then it is not elegiac and it does not assent. sent3: the hemimorphite assails event and is elegiac. sent4: if there is something such that it is a kind of a material the attar does not variegate but it mandates. sent5: there exists something such that it is stagflationary. sent6: that the attar does not assail event is not wrong if the hemimorphite does not assail event and is not a kind of a material. sent7: the attar does not variegate if something is a material. sent8: the orator does assail event. sent9: the attar does not variegate. sent10: if there is something such that it does variegate then the attar is not a kind of a mandate but it is elegiac. sent11: the hemimorphite is elegiac. sent12: something does not assail event and is not a material if it is not elegiac. sent13: the orator is not a heronry and is not non-potential. sent14: if the hemimorphite does assail event the orator is a material. sent15: the attar is a kind of an eclectic. sent16: if that the attar does assail event hold then the hemimorphite variegates. ; $proof$ = 
sent3 -> int1: the hemimorphite assails event.; sent14 & int1 -> int2: the orator is material.; int2 -> int3: there are material things.; int3 & sent4 -> hypothesis; __PROVED__