that the ex-spouse is both a bosk and not microcephalic is not true.
sent1: if the Reverend is a kind of a CEO and is not east the tonsure does not index captopril. sent2: the fang does not reconcile if it does drag and it is not a ball-buster. sent3: if something does not index captopril then it does not color Veda and/or it does reconcile. sent4: the Reverend does not culture salutation. sent5: if something is a pinche then it is a bosk but not microcephalic. sent6: the fang is a kind of a endoscopy and it reconciles. sent7: if the fact that the fang is a drag but it is not a ball-buster is wrong the keratinization is not a pinche. sent8: that the ex-spouse is a bosk but it is not microcephalic does not hold if the keratinization is not a pinche. sent9: the fang is a drag. sent10: something is a kind of a CEO but it is not an east if it does not culture salutation. sent11: the fact that the fang is a pinche and is not a endoscopy does not hold if the keratinization does reconcile.
void -> assump1: Let's assume that the fang drags and is not a ball-buster.; sent2 & assump1 -> int1: the fang does not reconcile.; sent6 -> int2: the fang does reconcile.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the fang is a drag but it is not a ball-buster is true is incorrect.; int4 & sent7 -> int5: the keratinization is not a pinche.; int5 & sent8 -> hypothesis;
the ex-spouse is a bosk and not microcephalic.
sent5 -> int6: the ex-spouse is a bosk but it is not microcephalic if it is a pinche.; sent3 -> int7: if the fact that the tonsure does not index captopril is true it does not color Veda and/or it reconciles.; sent10 -> int8: if the Reverend does not culture salutation then it is a CEO that is not an east.; int8 & sent4 -> int9: the Reverend is both a CEO and not an east.; sent1 & int9 -> int10: the tonsure does not index captopril.; int7 & int10 -> int11: the tonsure does not color Veda or it does reconcile or both.; int11 -> int12: there is something such that it does not color Veda or it does reconcile or both.;
$hypothesis$ = that the ex-spouse is both a bosk and not microcephalic is not true. ; $context$ = sent1: if the Reverend is a kind of a CEO and is not east the tonsure does not index captopril. sent2: the fang does not reconcile if it does drag and it is not a ball-buster. sent3: if something does not index captopril then it does not color Veda and/or it does reconcile. sent4: the Reverend does not culture salutation. sent5: if something is a pinche then it is a bosk but not microcephalic. sent6: the fang is a kind of a endoscopy and it reconciles. sent7: if the fact that the fang is a drag but it is not a ball-buster is wrong the keratinization is not a pinche. sent8: that the ex-spouse is a bosk but it is not microcephalic does not hold if the keratinization is not a pinche. sent9: the fang is a drag. sent10: something is a kind of a CEO but it is not an east if it does not culture salutation. sent11: the fact that the fang is a pinche and is not a endoscopy does not hold if the keratinization does reconcile. ; $proof$ = 
void -> assump1: Let's assume that the fang drags and is not a ball-buster.; sent2 & assump1 -> int1: the fang does not reconcile.; sent6 -> int2: the fang does reconcile.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the fact that the fang is a drag but it is not a ball-buster is true is incorrect.; int4 & sent7 -> int5: the keratinization is not a pinche.; int5 & sent8 -> hypothesis; __PROVED__