the barrette is not a kind of a misbehavior.
sent1: something that is both a sophisticate and a DLE does not slug retroversion. sent2: if that the backwater is macrobiotics hold the tepal is not a locative and is a Judith. sent3: if something that is not a locative is a Judith then the barrette is not a kind of a misbehavior. sent4: if the backwater is not macrobiotics then it is not a DLE. sent5: something that is a nankeen slugs retroversion. sent6: the polemonium is not a sophisticate if there is something such that the fact that it does not slug retroversion and does sophisticate is not right. sent7: the butacaine is not a Judith. sent8: something does not slug retroversion if it is both a sophisticate and not a DLE. sent9: the fact that the tepal does not slug retroversion but it does sophisticate is not right if the butacaine is not a Judith. sent10: the ferroconcrete is not a DLE. sent11: the barrette does not slug retroversion but it is a sophisticate if the backwater is not a locative. sent12: if something that does not slug retroversion sophisticates then it is not a kind of a DLE. sent13: something is a nankeen if it is both not a rydberg and acceptable. sent14: that the ferroconcrete is not a kind of a rydberg and is acceptable hold. sent15: the ferroconcrete is not a kind of a DLE if the backwater is not a kind of a DLE. sent16: there exists something such that it is not a misbehavior. sent17: if the backwater is not a DLE the ferroconcrete sophisticates and is not a kind of a DLE. sent18: something is a kind of non-macrobiotics thing that is a misbehavior if it is not a DLE.
void -> assump1: Let's assume that the backwater is non-macrobiotics.; sent4 & assump1 -> int1: the backwater is not a DLE.; int1 & sent17 -> int2: the ferroconcrete is a sophisticate and not a DLE.; sent8 -> int3: if the ferroconcrete is a sophisticate but it is not a kind of a DLE it does not slug retroversion.; int2 & int3 -> int4: the ferroconcrete does not slug retroversion.; sent5 -> int5: that the ferroconcrete slugs retroversion if the ferroconcrete is a kind of a nankeen hold.; sent13 -> int6: if the ferroconcrete is not a kind of a rydberg but it is acceptable then it is a nankeen.; int6 & sent14 -> int7: the ferroconcrete is a nankeen.; int5 & int7 -> int8: the ferroconcrete slugs retroversion.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the backwater is macrobiotics.; int10 & sent2 -> int11: the tepal is not a locative but a Judith.; int11 -> int12: something is not a locative and is a Judith.; int12 & sent3 -> hypothesis;
the polemonium is not a kind of a sophisticate but it is a Malus.
sent9 & sent7 -> int13: the fact that the tepal does not slug retroversion and is a sophisticate does not hold.; int13 -> int14: there exists something such that that it does not slug retroversion and it sophisticates is false.; int14 & sent6 -> int15: the polemonium is not a sophisticate.;
$hypothesis$ = the barrette is not a kind of a misbehavior. ; $context$ = sent1: something that is both a sophisticate and a DLE does not slug retroversion. sent2: if that the backwater is macrobiotics hold the tepal is not a locative and is a Judith. sent3: if something that is not a locative is a Judith then the barrette is not a kind of a misbehavior. sent4: if the backwater is not macrobiotics then it is not a DLE. sent5: something that is a nankeen slugs retroversion. sent6: the polemonium is not a sophisticate if there is something such that the fact that it does not slug retroversion and does sophisticate is not right. sent7: the butacaine is not a Judith. sent8: something does not slug retroversion if it is both a sophisticate and not a DLE. sent9: the fact that the tepal does not slug retroversion but it does sophisticate is not right if the butacaine is not a Judith. sent10: the ferroconcrete is not a DLE. sent11: the barrette does not slug retroversion but it is a sophisticate if the backwater is not a locative. sent12: if something that does not slug retroversion sophisticates then it is not a kind of a DLE. sent13: something is a nankeen if it is both not a rydberg and acceptable. sent14: that the ferroconcrete is not a kind of a rydberg and is acceptable hold. sent15: the ferroconcrete is not a kind of a DLE if the backwater is not a kind of a DLE. sent16: there exists something such that it is not a misbehavior. sent17: if the backwater is not a DLE the ferroconcrete sophisticates and is not a kind of a DLE. sent18: something is a kind of non-macrobiotics thing that is a misbehavior if it is not a DLE. ; $proof$ = 
void -> assump1: Let's assume that the backwater is non-macrobiotics.; sent4 & assump1 -> int1: the backwater is not a DLE.; int1 & sent17 -> int2: the ferroconcrete is a sophisticate and not a DLE.; sent8 -> int3: if the ferroconcrete is a sophisticate but it is not a kind of a DLE it does not slug retroversion.; int2 & int3 -> int4: the ferroconcrete does not slug retroversion.; sent5 -> int5: that the ferroconcrete slugs retroversion if the ferroconcrete is a kind of a nankeen hold.; sent13 -> int6: if the ferroconcrete is not a kind of a rydberg but it is acceptable then it is a nankeen.; int6 & sent14 -> int7: the ferroconcrete is a nankeen.; int5 & int7 -> int8: the ferroconcrete slugs retroversion.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the backwater is macrobiotics.; int10 & sent2 -> int11: the tepal is not a locative but a Judith.; int11 -> int12: something is not a locative and is a Judith.; int12 & sent3 -> hypothesis; __PROVED__