the cataleptic does decoct and it is a Arab.
sent1: if the fact that the pendulum is a dipteran and/or it is not nonunion is not correct then the ash-pan is a Arab. sent2: if something that is not a kind of an aquamarine is a petrochemical then it deposes Azerbaijan. sent3: something is not a petrochemical if it is nonunion and/or an aquamarine. sent4: the cataleptic is a Arab and it does resubmit wagtail. sent5: the pendulum deposes Azerbaijan if it is not a petrochemical and it is nonunion. sent6: that if the ash-pan resubmits wagtail but it does not decoct then the fact that the ash-pan is nonunion is not false hold. sent7: that the pendulum is not a kind of a dipteran or it does not depose Azerbaijan or both does not hold. sent8: the rendezvous does not decoct and it does not depose anesthetic. sent9: the cataleptic is not a city and it is not a petrochemical if the ash-pan is not a petrochemical. sent10: the fact that something does decoct and is a kind of a Arab is wrong if it is not a kind of an aquamarine. sent11: if the cataleptic does resubmit wagtail then it does not depose Azerbaijan. sent12: if something that is not a city is not a kind of a petrochemical that it does decoct is not wrong. sent13: if the ash-pan is not nonunion the pendulum is not a kind of an aquamarine and is a kind of a petrochemical. sent14: the fact that the cataleptic is not an aquamarine is not false if the pendulum is not an aquamarine and is a petrochemical. sent15: the ash-pan is heedless. sent16: the cataleptic is a kind of non-nonunion thing that is not a petrochemical. sent17: if the fact that something does not resubmit wagtail and it is not a kind of a city is false it is not nonunion. sent18: something does not speed if that it does not depose stableman and it is not abasic does not hold. sent19: if the fact that the cataleptic is not an aquamarine and/or is not a kind of a dipteran does not hold then the ash-pan is a city. sent20: if that the pendulum is not a dipteran and/or it does not depose Azerbaijan is not correct the ash-pan is nonunion.
sent20 & sent7 -> int1: the fact that the ash-pan is nonunion is not false.; int1 -> int2: either the ash-pan is nonunion or it is an aquamarine or both.; sent3 -> int3: if the ash-pan is nonunion and/or it is an aquamarine then it is not a kind of a petrochemical.; int2 & int3 -> int4: the ash-pan is not a petrochemical.; int4 & sent9 -> int5: the cataleptic is not a city and is not a petrochemical.; sent12 -> int6: if the cataleptic is not a city and it is not a petrochemical then that it does decoct is true.; int5 & int6 -> int7: the cataleptic does decoct.; sent4 -> int8: the cataleptic is a Arab.; int7 & int8 -> hypothesis;
the fact that the cataleptic does decoct and it is a Arab is not true.
sent10 -> int9: if the cataleptic is not an aquamarine the fact that it decocts and is a Arab is not right.; sent17 -> int10: if that the ash-pan does not resubmit wagtail and is not a city is not right it is not nonunion.; sent18 -> int11: if that the hammerhead does not depose stableman and it is not abasic is not right then it does not speed.;
$hypothesis$ = the cataleptic does decoct and it is a Arab. ; $context$ = sent1: if the fact that the pendulum is a dipteran and/or it is not nonunion is not correct then the ash-pan is a Arab. sent2: if something that is not a kind of an aquamarine is a petrochemical then it deposes Azerbaijan. sent3: something is not a petrochemical if it is nonunion and/or an aquamarine. sent4: the cataleptic is a Arab and it does resubmit wagtail. sent5: the pendulum deposes Azerbaijan if it is not a petrochemical and it is nonunion. sent6: that if the ash-pan resubmits wagtail but it does not decoct then the fact that the ash-pan is nonunion is not false hold. sent7: that the pendulum is not a kind of a dipteran or it does not depose Azerbaijan or both does not hold. sent8: the rendezvous does not decoct and it does not depose anesthetic. sent9: the cataleptic is not a city and it is not a petrochemical if the ash-pan is not a petrochemical. sent10: the fact that something does decoct and is a kind of a Arab is wrong if it is not a kind of an aquamarine. sent11: if the cataleptic does resubmit wagtail then it does not depose Azerbaijan. sent12: if something that is not a city is not a kind of a petrochemical that it does decoct is not wrong. sent13: if the ash-pan is not nonunion the pendulum is not a kind of an aquamarine and is a kind of a petrochemical. sent14: the fact that the cataleptic is not an aquamarine is not false if the pendulum is not an aquamarine and is a petrochemical. sent15: the ash-pan is heedless. sent16: the cataleptic is a kind of non-nonunion thing that is not a petrochemical. sent17: if the fact that something does not resubmit wagtail and it is not a kind of a city is false it is not nonunion. sent18: something does not speed if that it does not depose stableman and it is not abasic does not hold. sent19: if the fact that the cataleptic is not an aquamarine and/or is not a kind of a dipteran does not hold then the ash-pan is a city. sent20: if that the pendulum is not a dipteran and/or it does not depose Azerbaijan is not correct the ash-pan is nonunion. ; $proof$ = 
sent20 & sent7 -> int1: the fact that the ash-pan is nonunion is not false.; int1 -> int2: either the ash-pan is nonunion or it is an aquamarine or both.; sent3 -> int3: if the ash-pan is nonunion and/or it is an aquamarine then it is not a kind of a petrochemical.; int2 & int3 -> int4: the ash-pan is not a petrochemical.; int4 & sent9 -> int5: the cataleptic is not a city and is not a petrochemical.; sent12 -> int6: if the cataleptic is not a city and it is not a petrochemical then that it does decoct is true.; int5 & int6 -> int7: the cataleptic does decoct.; sent4 -> int8: the cataleptic is a Arab.; int7 & int8 -> hypothesis; __PROVED__