the acetanilide does moon.
sent1: if the acetanilide is a kind of a JDAM then the etcher is a perennial. sent2: if something is not a moon then it exacerbates altocumulus. sent3: there is something such that that it does not exacerbate secondary and it is dipolar does not hold. sent4: if something is not a kind of a moon and/or it does exacerbate altocumulus then it does not moon. sent5: if the fact that the etcher is a perennial hold it is a whittler. sent6: something is a JDAM if the fact that it is unprofessional is not false. sent7: that the baton is a perennial is true. sent8: something is unprofessional if the fact that it exacerbates altocumulus hold. sent9: that the gaiter is professional thing that is not a kind of a JDAM is not right if there exists something such that it is a kind of a perennial. sent10: if the acetanilide is unprofessional then it is perennial.
sent2 -> int1: the acetanilide does exacerbate altocumulus if that it is not a moon is true.; void -> assump1: Let's assume that the acetanilide does not moon.; int1 & assump1 -> int2: the acetanilide exacerbates altocumulus.; sent8 -> int3: the acetanilide is unprofessional if it exacerbates altocumulus.; int2 & int3 -> int4: the fact that the acetanilide is unprofessional is not false.; sent6 -> int5: if the acetanilide is unprofessional then it is a kind of a JDAM.; int4 & int5 -> int6: the acetanilide is a JDAM.; int6 & sent1 -> int7: the etcher is a perennial.; int7 & sent5 -> int8: the etcher is a whittler.;
the acetanilide is not a moon.
sent4 -> int9: if either the acetanilide is not a kind of a moon or it does exacerbate altocumulus or both then it is not a kind of a moon.; sent7 -> int10: there is something such that the fact that it is a perennial is not false.; int10 & sent9 -> int11: that the gaiter is not unprofessional and it is not a JDAM is incorrect.; int11 -> int12: there is something such that that it is not unprofessional and it is not a JDAM is false.;
$hypothesis$ = the acetanilide does moon. ; $context$ = sent1: if the acetanilide is a kind of a JDAM then the etcher is a perennial. sent2: if something is not a moon then it exacerbates altocumulus. sent3: there is something such that that it does not exacerbate secondary and it is dipolar does not hold. sent4: if something is not a kind of a moon and/or it does exacerbate altocumulus then it does not moon. sent5: if the fact that the etcher is a perennial hold it is a whittler. sent6: something is a JDAM if the fact that it is unprofessional is not false. sent7: that the baton is a perennial is true. sent8: something is unprofessional if the fact that it exacerbates altocumulus hold. sent9: that the gaiter is professional thing that is not a kind of a JDAM is not right if there exists something such that it is a kind of a perennial. sent10: if the acetanilide is unprofessional then it is perennial. ; $proof$ = 
sent2 -> int1: the acetanilide does exacerbate altocumulus if that it is not a moon is true.; void -> assump1: Let's assume that the acetanilide does not moon.; int1 & assump1 -> int2: the acetanilide exacerbates altocumulus.; sent8 -> int3: the acetanilide is unprofessional if it exacerbates altocumulus.; int2 & int3 -> int4: the fact that the acetanilide is unprofessional is not false.; sent6 -> int5: if the acetanilide is unprofessional then it is a kind of a JDAM.; int4 & int5 -> int6: the acetanilide is a JDAM.; int6 & sent1 -> int7: the etcher is a perennial.; int7 & sent5 -> int8: the etcher is a whittler.; __UNKNOWN__