if the locust is not a Hinayanist then the rappee bars severance or fields stepdaughter or both.
sent1: the rappee is front and/or microeconomics. sent2: the rappee is a Placuna. sent3: the fact that the sideroblast is not microeconomics if the locust is not a Hinayanist is true. sent4: the sideroblast is an umbilical. sent5: either the rappee bars severance or it fields stepdaughter or both if the locust is a Hinayanist. sent6: the botulin does not bar severance. sent7: the locust is microeconomics and/or it fields stepdaughter if the sideroblast is not a kind of a Hinayanist. sent8: the sideroblast bars severance. sent9: the locust does not bar severance. sent10: the sideroblast is not a front. sent11: the rappee is front if the sideroblast is not microeconomics. sent12: something fields stepdaughter if it is granuliferous. sent13: the locust is a kind of a Hinayanist and/or it does field stepdaughter. sent14: the deodorant is not a Hinayanist. sent15: the sideroblast is not microeconomics if the locust is a Hinayanist. sent16: either the rappee does field stepdaughter or it is microeconomics or both. sent17: that the lecanopteris does bar severance is right. sent18: if the rappee is not non-front the fact that it bars severance is right. sent19: if the locust is a hammer the fact that it does field stepdaughter is right. sent20: if the sideroblast is not a Hinayanist then the locust is microeconomics.
void -> assump1: Let's assume that the locust is not a Hinayanist.; sent3 & assump1 -> int1: the sideroblast is not microeconomics.; int1 & sent11 -> int2: the rappee is a front.; int2 & sent18 -> int3: the fact that the rappee does bar severance hold.; int3 -> int4: the rappee does bar severance or it fields stepdaughter or both.; [assump1] & int4 -> hypothesis;
if the adelgid is granuliferous then it does field stepdaughter.
sent12 -> hypothesis;
$hypothesis$ = if the locust is not a Hinayanist then the rappee bars severance or fields stepdaughter or both. ; $context$ = sent1: the rappee is front and/or microeconomics. sent2: the rappee is a Placuna. sent3: the fact that the sideroblast is not microeconomics if the locust is not a Hinayanist is true. sent4: the sideroblast is an umbilical. sent5: either the rappee bars severance or it fields stepdaughter or both if the locust is a Hinayanist. sent6: the botulin does not bar severance. sent7: the locust is microeconomics and/or it fields stepdaughter if the sideroblast is not a kind of a Hinayanist. sent8: the sideroblast bars severance. sent9: the locust does not bar severance. sent10: the sideroblast is not a front. sent11: the rappee is front if the sideroblast is not microeconomics. sent12: something fields stepdaughter if it is granuliferous. sent13: the locust is a kind of a Hinayanist and/or it does field stepdaughter. sent14: the deodorant is not a Hinayanist. sent15: the sideroblast is not microeconomics if the locust is a Hinayanist. sent16: either the rappee does field stepdaughter or it is microeconomics or both. sent17: that the lecanopteris does bar severance is right. sent18: if the rappee is not non-front the fact that it bars severance is right. sent19: if the locust is a hammer the fact that it does field stepdaughter is right. sent20: if the sideroblast is not a Hinayanist then the locust is microeconomics. ; $proof$ = 
void -> assump1: Let's assume that the locust is not a Hinayanist.; sent3 & assump1 -> int1: the sideroblast is not microeconomics.; int1 & sent11 -> int2: the rappee is a front.; int2 & sent18 -> int3: the fact that the rappee does bar severance hold.; int3 -> int4: the rappee does bar severance or it fields stepdaughter or both.; [assump1] & int4 -> hypothesis; __PROVED__