the edelweiss does not refrain burette.
sent1: everything is not a AMP and it is elegiac. sent2: something is accentual if that it is an enlightenment is not false. sent3: the ootid is an enlightenment if the equine is elegiac. sent4: that that the ootid is filarial thing that is a joyride is not correct is right if it is accentual. sent5: that something is filarial and does not joyride is not right if it is accentual. sent6: that the edelweiss does not refrain burette is right if there exists something such that it does joyride. sent7: there exists something such that the fact that it is both filarial and a joyride is false. sent8: everything is not a kind of a AMP. sent9: if the fact that something is a joyride and/or it is accentual hold the edelweiss is accentual. sent10: if something that is accentual is not a kind of an enlightenment then it refrains burette. sent11: the edelweiss does not refrain burette if there exists something such that the fact that it is filarial and is not a kind of a joyride is wrong.
sent1 -> int1: the equine is not a AMP but elegiac.; int1 -> int2: the equine is elegiac.; int2 & sent3 -> int3: the ootid is an enlightenment.; sent2 -> int4: the ootid is accentual if it is an enlightenment.; int3 & int4 -> int5: the ootid is accentual.; sent5 -> int6: that if the ootid is accentual that the ootid is filarial but it is not a kind of a joyride is not true is right.; int5 & int6 -> int7: the fact that the ootid is filarial and is not a kind of a joyride does not hold.; int7 -> int8: there exists something such that the fact that it is filarial and is not a joyride does not hold.; int8 & sent11 -> hypothesis;
the edelweiss does refrain burette.
sent10 -> int9: if the edelweiss is accentual but it is not a kind of an enlightenment the fact that it does refrain burette is correct.;
$hypothesis$ = the edelweiss does not refrain burette. ; $context$ = sent1: everything is not a AMP and it is elegiac. sent2: something is accentual if that it is an enlightenment is not false. sent3: the ootid is an enlightenment if the equine is elegiac. sent4: that that the ootid is filarial thing that is a joyride is not correct is right if it is accentual. sent5: that something is filarial and does not joyride is not right if it is accentual. sent6: that the edelweiss does not refrain burette is right if there exists something such that it does joyride. sent7: there exists something such that the fact that it is both filarial and a joyride is false. sent8: everything is not a kind of a AMP. sent9: if the fact that something is a joyride and/or it is accentual hold the edelweiss is accentual. sent10: if something that is accentual is not a kind of an enlightenment then it refrains burette. sent11: the edelweiss does not refrain burette if there exists something such that the fact that it is filarial and is not a kind of a joyride is wrong. ; $proof$ = 
sent1 -> int1: the equine is not a AMP but elegiac.; int1 -> int2: the equine is elegiac.; int2 & sent3 -> int3: the ootid is an enlightenment.; sent2 -> int4: the ootid is accentual if it is an enlightenment.; int3 & int4 -> int5: the ootid is accentual.; sent5 -> int6: that if the ootid is accentual that the ootid is filarial but it is not a kind of a joyride is not true is right.; int5 & int6 -> int7: the fact that the ootid is filarial and is not a kind of a joyride does not hold.; int7 -> int8: there exists something such that the fact that it is filarial and is not a joyride does not hold.; int8 & sent11 -> hypothesis; __PROVED__