the domestic is synclinal or it is not a kind of a commemorative or both.
sent1: the hemp is a kind of a commandment if the calk is umbelliform. sent2: the domestic does band lyreflower. sent3: something that premeditates succession premeditates Reggane. sent4: if that the wingstem is both not a commandment and a Ellsworth is not correct then the dogbane is not a Ellsworth. sent5: if something premeditates Reggane then the fact that either it is synclinal or it is not a kind of a commemorative or both does not hold. sent6: if the fact that the domestic premeditates succession is not false it does premeditate Reggane and it is not amitotic. sent7: if there exists something such that it is dysgenic and it is a Ellsworth then the domestic is not umbelliform. sent8: if the calk does not premeditate Grozny it is a Nergal that is umbelliform. sent9: there is something such that it does ventilate send-off and does not accelerate Hagerstown. sent10: the domestic is porcine and it is an ebb. sent11: if something premeditates succession it is dysgenic. sent12: the calk does not premeditate Grozny if something ventilates send-off but it does not accelerate Hagerstown. sent13: the domestic is both not non-commemorative and dysgenic. sent14: the domestic is a commandment and/or it is not synclinal. sent15: the dogbane does premeditate Reggane and does premeditate succession. sent16: the fact that the domestic does premeditate succession and it is dysgenic is not false if the dogbane is not a Ellsworth. sent17: that the cliff-brake premeditates Reggane hold. sent18: the dogbane is a Ellsworth and it is a commandment. sent19: something that is not umbelliform is synclinal or is not a commemorative or both.
sent15 -> int1: the dogbane does premeditate succession.; sent11 -> int2: the fact that the dogbane is dysgenic hold if it premeditates succession.; int1 & int2 -> int3: the dogbane is dysgenic.; sent18 -> int4: the dogbane is a Ellsworth.; int3 & int4 -> int5: the dogbane is dysgenic and is a Ellsworth.; int5 -> int6: there is something such that it is dysgenic and it is a Ellsworth.; int6 & sent7 -> int7: the domestic is not umbelliform.; sent19 -> int8: the domestic is synclinal or it is not a kind of a commemorative or both if it is not umbelliform.; int7 & int8 -> hypothesis;
the fact that the domestic is synclinal and/or is not a commemorative is not right.
sent5 -> int9: that the domestic is synclinal and/or non-commemorative is not correct if it does premeditate Reggane.; sent3 -> int10: the domestic premeditates Reggane if it does premeditate succession.; sent9 & sent12 -> int11: the calk does not premeditate Grozny.; sent8 & int11 -> int12: the calk is a kind of a Nergal and is not non-umbelliform.; int12 -> int13: the calk is umbelliform.; sent1 & int13 -> int14: the hemp is a commandment.; int14 -> int15: there exists something such that it is a commandment.;
$hypothesis$ = the domestic is synclinal or it is not a kind of a commemorative or both. ; $context$ = sent1: the hemp is a kind of a commandment if the calk is umbelliform. sent2: the domestic does band lyreflower. sent3: something that premeditates succession premeditates Reggane. sent4: if that the wingstem is both not a commandment and a Ellsworth is not correct then the dogbane is not a Ellsworth. sent5: if something premeditates Reggane then the fact that either it is synclinal or it is not a kind of a commemorative or both does not hold. sent6: if the fact that the domestic premeditates succession is not false it does premeditate Reggane and it is not amitotic. sent7: if there exists something such that it is dysgenic and it is a Ellsworth then the domestic is not umbelliform. sent8: if the calk does not premeditate Grozny it is a Nergal that is umbelliform. sent9: there is something such that it does ventilate send-off and does not accelerate Hagerstown. sent10: the domestic is porcine and it is an ebb. sent11: if something premeditates succession it is dysgenic. sent12: the calk does not premeditate Grozny if something ventilates send-off but it does not accelerate Hagerstown. sent13: the domestic is both not non-commemorative and dysgenic. sent14: the domestic is a commandment and/or it is not synclinal. sent15: the dogbane does premeditate Reggane and does premeditate succession. sent16: the fact that the domestic does premeditate succession and it is dysgenic is not false if the dogbane is not a Ellsworth. sent17: that the cliff-brake premeditates Reggane hold. sent18: the dogbane is a Ellsworth and it is a commandment. sent19: something that is not umbelliform is synclinal or is not a commemorative or both. ; $proof$ = 
sent15 -> int1: the dogbane does premeditate succession.; sent11 -> int2: the fact that the dogbane is dysgenic hold if it premeditates succession.; int1 & int2 -> int3: the dogbane is dysgenic.; sent18 -> int4: the dogbane is a Ellsworth.; int3 & int4 -> int5: the dogbane is dysgenic and is a Ellsworth.; int5 -> int6: there is something such that it is dysgenic and it is a Ellsworth.; int6 & sent7 -> int7: the domestic is not umbelliform.; sent19 -> int8: the domestic is synclinal or it is not a kind of a commemorative or both if it is not umbelliform.; int7 & int8 -> hypothesis; __PROVED__