the pycnidium beats.
sent1: everything is a immoderation and is not a proliferation. sent2: if the amphibian either is inconspicuous or does ante or both the bevel is not a neap. sent3: if something is inconspicuous then it is not a beat. sent4: if the landscape is a whirl that is a neap then the pycnidium is a beat. sent5: if the bevel is an ante then the landscape is not inconspicuous. sent6: something that is not a kind of a beat is a neap and is a kind of an ante. sent7: the amphibian is not a proliferation. sent8: the landscape is not a whirl. sent9: everything is not a proliferation. sent10: the pycnidium is a beat if the landscape is not a whirl but a neap. sent11: if that the bevel is not a neap is not false then the landscape does not whirl and is a kind of a neap. sent12: something antes if it is a immoderation and it is not a proliferation. sent13: the amphibian is an ante if it is a kind of a immoderation and it is a proliferation. sent14: if something is a kind of a immoderation and is a proliferation then it is an ante. sent15: if the bevel is not Manchurian and it does not shillyshally Oahu it does not whirl. sent16: the bevel is not a beat if it does not whirl. sent17: if the bevel is not a neap then the landscape does not whirl.
sent12 -> int1: that the amphibian is an ante hold if it is a immoderation and it is not a kind of a proliferation.; sent1 -> int2: the amphibian is a immoderation that is not a proliferation.; int1 & int2 -> int3: the amphibian is an ante.; int3 -> int4: either the amphibian is inconspicuous or it antes or both.; int4 & sent2 -> int5: the bevel is not a neap.; int5 & sent11 -> int6: the landscape is both not a whirl and a neap.; int6 & sent10 -> hypothesis;
the landscape is not inconspicuous.
sent6 -> int7: the bevel is a neap and an ante if it is not a beat.;
$hypothesis$ = the pycnidium beats. ; $context$ = sent1: everything is a immoderation and is not a proliferation. sent2: if the amphibian either is inconspicuous or does ante or both the bevel is not a neap. sent3: if something is inconspicuous then it is not a beat. sent4: if the landscape is a whirl that is a neap then the pycnidium is a beat. sent5: if the bevel is an ante then the landscape is not inconspicuous. sent6: something that is not a kind of a beat is a neap and is a kind of an ante. sent7: the amphibian is not a proliferation. sent8: the landscape is not a whirl. sent9: everything is not a proliferation. sent10: the pycnidium is a beat if the landscape is not a whirl but a neap. sent11: if that the bevel is not a neap is not false then the landscape does not whirl and is a kind of a neap. sent12: something antes if it is a immoderation and it is not a proliferation. sent13: the amphibian is an ante if it is a kind of a immoderation and it is a proliferation. sent14: if something is a kind of a immoderation and is a proliferation then it is an ante. sent15: if the bevel is not Manchurian and it does not shillyshally Oahu it does not whirl. sent16: the bevel is not a beat if it does not whirl. sent17: if the bevel is not a neap then the landscape does not whirl. ; $proof$ = 
sent12 -> int1: that the amphibian is an ante hold if it is a immoderation and it is not a kind of a proliferation.; sent1 -> int2: the amphibian is a immoderation that is not a proliferation.; int1 & int2 -> int3: the amphibian is an ante.; int3 -> int4: either the amphibian is inconspicuous or it antes or both.; int4 & sent2 -> int5: the bevel is not a neap.; int5 & sent11 -> int6: the landscape is both not a whirl and a neap.; int6 & sent10 -> hypothesis; __PROVED__