the marginalization does marshal and unbuttons.
sent1: the fact that if the hemiplegic is ipsilateral and it is chromosomal then the coach is not oleaceous hold. sent2: the fact that the marginalization is a marshal and it unbuttons does not hold if the fact that the hemiplegic is not ipsilateral is not wrong. sent3: the marginalization does marshal and it does unbutton if the hemiplegic is not a marshal. sent4: if the coach is not oleaceous then that the hemiplegic is not oleaceous hold. sent5: the fact that the hemiplegic does not scuff delegate is correct. sent6: the hemiplegic is ipsilateral if something that is non-umbellate does not scuff delegate. sent7: the hemiplegic is not an earth. sent8: the fringe does not scuff delegate. sent9: if something that marshals is not diastolic that the coach is ipsilateral is not wrong. sent10: if the marginalization is a marshal and it is oleaceous the coach does not unbutton. sent11: everything is diastolic. sent12: that the halide is not frictional is not wrong. sent13: if something that does not marshal is ipsilateral the marginalization is oleaceous. sent14: the hemiplegic is oleaceous if it is diastolic. sent15: if something is not chromosomal it does not marshal. sent16: the hemiplegic does unbutton if something is not a marshal but it is not non-ipsilateral. sent17: if the hemiplegic is not a marshal the marginalization is a marshal and is chromosomal. sent18: the coach is ipsilateral and it differs. sent19: something is a kind of non-umbellate thing that does not scuff delegate. sent20: the fact that everything is diastolic and oleaceous is not wrong. sent21: that the marginalization is not umbellate hold. sent22: the dance is chromosomal. sent23: if the marginalization is not chromosomal it is not a marshal. sent24: the coach is not chromosomal if the marginalization is oleaceous but it is not diastolic. sent25: something does not unbutton if the fact that it is not diastolic is correct.
sent19 & sent6 -> int1: the hemiplegic is ipsilateral.; void -> assump1: Let's assume that the hemiplegic is chromosomal.; int1 & assump1 -> int2: the hemiplegic is ipsilateral and chromosomal.; int2 & sent1 -> int3: the coach is not oleaceous.; sent20 -> int4: the coach is diastolic and it is oleaceous.; int4 -> int5: the coach is oleaceous.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hemiplegic is not chromosomal.; sent15 -> int8: if that the hemiplegic is non-chromosomal is correct then it is not a marshal.; int7 & int8 -> int9: the hemiplegic is not a kind of a marshal.; int9 & sent3 -> hypothesis;
the poker does marshal.
$hypothesis$ = the marginalization does marshal and unbuttons. ; $context$ = sent1: the fact that if the hemiplegic is ipsilateral and it is chromosomal then the coach is not oleaceous hold. sent2: the fact that the marginalization is a marshal and it unbuttons does not hold if the fact that the hemiplegic is not ipsilateral is not wrong. sent3: the marginalization does marshal and it does unbutton if the hemiplegic is not a marshal. sent4: if the coach is not oleaceous then that the hemiplegic is not oleaceous hold. sent5: the fact that the hemiplegic does not scuff delegate is correct. sent6: the hemiplegic is ipsilateral if something that is non-umbellate does not scuff delegate. sent7: the hemiplegic is not an earth. sent8: the fringe does not scuff delegate. sent9: if something that marshals is not diastolic that the coach is ipsilateral is not wrong. sent10: if the marginalization is a marshal and it is oleaceous the coach does not unbutton. sent11: everything is diastolic. sent12: that the halide is not frictional is not wrong. sent13: if something that does not marshal is ipsilateral the marginalization is oleaceous. sent14: the hemiplegic is oleaceous if it is diastolic. sent15: if something is not chromosomal it does not marshal. sent16: the hemiplegic does unbutton if something is not a marshal but it is not non-ipsilateral. sent17: if the hemiplegic is not a marshal the marginalization is a marshal and is chromosomal. sent18: the coach is ipsilateral and it differs. sent19: something is a kind of non-umbellate thing that does not scuff delegate. sent20: the fact that everything is diastolic and oleaceous is not wrong. sent21: that the marginalization is not umbellate hold. sent22: the dance is chromosomal. sent23: if the marginalization is not chromosomal it is not a marshal. sent24: the coach is not chromosomal if the marginalization is oleaceous but it is not diastolic. sent25: something does not unbutton if the fact that it is not diastolic is correct. ; $proof$ = 
sent19 & sent6 -> int1: the hemiplegic is ipsilateral.; void -> assump1: Let's assume that the hemiplegic is chromosomal.; int1 & assump1 -> int2: the hemiplegic is ipsilateral and chromosomal.; int2 & sent1 -> int3: the coach is not oleaceous.; sent20 -> int4: the coach is diastolic and it is oleaceous.; int4 -> int5: the coach is oleaceous.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the hemiplegic is not chromosomal.; sent15 -> int8: if that the hemiplegic is non-chromosomal is correct then it is not a marshal.; int7 & int8 -> int9: the hemiplegic is not a kind of a marshal.; int9 & sent3 -> hypothesis; __PROVED__