that the ovum does mangle elytron and is uptown is incorrect.
sent1: the fire-eater mangles elytron. sent2: the ovum mangles elytron if the bean is not spousal but it mangles elytron. sent3: that the dimmer incorporates mutchkin and is not spousal is not correct if it is wiry. sent4: that the ovum mangles elytron and it is uptown is false if there exists something such that that it is a kind of a puffin hold. sent5: if the dimmer is not non-spousal then the bean is a kind of a puffin. sent6: the overload is a sponsorship. sent7: if something that does not incorporate protection is not electronics the plate briefs pater. sent8: the dimmer incorporates mutchkin if the plate does brief pater. sent9: if the decarboxylation is a forestay the dimmer is not non-wiry. sent10: if the overload is a kind of a sponsorship the fact that the decarboxylation is a kind of a forestay is not incorrect. sent11: there exists something such that it does not incorporate protection and it is not electronics. sent12: the bean is not spousal and does mangle elytron.
sent11 & sent7 -> int1: the plate does brief pater.; int1 & sent8 -> int2: the dimmer does incorporate mutchkin.; void -> assump1: Let's assume that that the dimmer is not spousal is correct.; int2 & assump1 -> int3: the dimmer incorporates mutchkin but it is not spousal.; sent10 & sent6 -> int4: the decarboxylation is a forestay.; sent9 & int4 -> int5: the dimmer is wiry.; sent3 & int5 -> int6: the fact that the dimmer does incorporate mutchkin but it is not spousal is not true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dimmer is not non-spousal.; int8 & sent5 -> int9: the bean is a puffin.; int9 -> int10: that something is a puffin is not false.; int10 & sent4 -> hypothesis;
the ovum does mangle elytron and it is an uptown.
sent2 & sent12 -> int11: the ovum mangles elytron.;
$hypothesis$ = that the ovum does mangle elytron and is uptown is incorrect. ; $context$ = sent1: the fire-eater mangles elytron. sent2: the ovum mangles elytron if the bean is not spousal but it mangles elytron. sent3: that the dimmer incorporates mutchkin and is not spousal is not correct if it is wiry. sent4: that the ovum mangles elytron and it is uptown is false if there exists something such that that it is a kind of a puffin hold. sent5: if the dimmer is not non-spousal then the bean is a kind of a puffin. sent6: the overload is a sponsorship. sent7: if something that does not incorporate protection is not electronics the plate briefs pater. sent8: the dimmer incorporates mutchkin if the plate does brief pater. sent9: if the decarboxylation is a forestay the dimmer is not non-wiry. sent10: if the overload is a kind of a sponsorship the fact that the decarboxylation is a kind of a forestay is not incorrect. sent11: there exists something such that it does not incorporate protection and it is not electronics. sent12: the bean is not spousal and does mangle elytron. ; $proof$ = 
sent11 & sent7 -> int1: the plate does brief pater.; int1 & sent8 -> int2: the dimmer does incorporate mutchkin.; void -> assump1: Let's assume that that the dimmer is not spousal is correct.; int2 & assump1 -> int3: the dimmer incorporates mutchkin but it is not spousal.; sent10 & sent6 -> int4: the decarboxylation is a forestay.; sent9 & int4 -> int5: the dimmer is wiry.; sent3 & int5 -> int6: the fact that the dimmer does incorporate mutchkin but it is not spousal is not true.; int3 & int6 -> int7: this is contradiction.; [assump1] & int7 -> int8: the dimmer is not non-spousal.; int8 & sent5 -> int9: the bean is a puffin.; int9 -> int10: that something is a puffin is not false.; int10 & sent4 -> hypothesis; __PROVED__