the BVD is monetary.
sent1: there exists something such that it is not a macedoine. sent2: the moorwort is non-monetary if that the BVD is non-monetary but it does not overrun waterskin is wrong. sent3: there exists something such that it is not a hectograph and not atonalistic. sent4: a birthday that is a kind of a boogie is non-monetary. sent5: the BVD is pessimistic. sent6: the quarters is monometallic if something that is not a hectograph is not atonalistic. sent7: something is either not an incivility or not pessimistic or both. sent8: the BVD is monometallic and a boogie. sent9: there is something such that it is an incivility and/or not pessimistic. sent10: if there exists something such that it is not an incivility then that the BVD is a kind of a birthday is true. sent11: there is something such that it is a palette. sent12: the BVD is a birthday if the fact that there is something such that it is not an incivility and/or it is not pessimistic is true. sent13: something is a kind of a magneton if that it does not boogie is right. sent14: the moorwort is a macedoine and it is pessimistic if something is a kind of a palette. sent15: something is not an incivility or it is pessimistic or both. sent16: if there exists something such that it is monometallic that the BVD is monetary and does not overrun waterskin does not hold. sent17: the BVD is monometallic.
sent7 & sent12 -> int1: the BVD is a birthday.; sent8 -> int2: the BVD does boogie.; int1 & int2 -> int3: the BVD is a birthday and it does boogie.; sent4 -> int4: if the BVD is a birthday that is a boogie it is not monetary.; int3 & int4 -> hypothesis;
the BVD is monetary.
$hypothesis$ = the BVD is monetary. ; $context$ = sent1: there exists something such that it is not a macedoine. sent2: the moorwort is non-monetary if that the BVD is non-monetary but it does not overrun waterskin is wrong. sent3: there exists something such that it is not a hectograph and not atonalistic. sent4: a birthday that is a kind of a boogie is non-monetary. sent5: the BVD is pessimistic. sent6: the quarters is monometallic if something that is not a hectograph is not atonalistic. sent7: something is either not an incivility or not pessimistic or both. sent8: the BVD is monometallic and a boogie. sent9: there is something such that it is an incivility and/or not pessimistic. sent10: if there exists something such that it is not an incivility then that the BVD is a kind of a birthday is true. sent11: there is something such that it is a palette. sent12: the BVD is a birthday if the fact that there is something such that it is not an incivility and/or it is not pessimistic is true. sent13: something is a kind of a magneton if that it does not boogie is right. sent14: the moorwort is a macedoine and it is pessimistic if something is a kind of a palette. sent15: something is not an incivility or it is pessimistic or both. sent16: if there exists something such that it is monometallic that the BVD is monetary and does not overrun waterskin does not hold. sent17: the BVD is monometallic. ; $proof$ = 
sent7 & sent12 -> int1: the BVD is a birthday.; sent8 -> int2: the BVD does boogie.; int1 & int2 -> int3: the BVD is a birthday and it does boogie.; sent4 -> int4: if the BVD is a birthday that is a boogie it is not monetary.; int3 & int4 -> hypothesis; __DISPROVED__