the fact that that something is not a kind of a oculism is not incorrect does not hold.
sent1: the dimity is autogenetic. sent2: the dimity is not a oculism if something does concretize adz and it is a guy. sent3: something is pessimistic. sent4: the precipitate concretizes dimity. sent5: The adz concretizes whipping. sent6: the Gypsy is a groomsman. sent7: the Gypsy is not a groomsman if there exists something such that the fact that it does guy and does not descry deoxyadenosine is not correct. sent8: something does descry collar and does reckon petticoated. sent9: the whipping concretizes adz. sent10: the Gypsy does not lace precipitate. sent11: if something is a groomsman the fact that it concretizes adz and it is not factory-made is not right.
void -> assump1: Let's assume that that the fact that that the whipping is a guy that does not descry deoxyadenosine is not wrong does not hold is true.; assump1 -> int1: there is something such that that it is a kind of a guy that does not descry deoxyadenosine is not right.; int1 & sent7 -> int2: the Gypsy is not a groomsman.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whipping is a guy and does not descry deoxyadenosine.; int4 -> int5: the whipping does guy.; int5 & sent9 -> int6: the whipping does concretize adz and it does guy.; int6 -> int7: there is something such that the fact that it concretizes adz and guys is not false.; int7 & sent2 -> int8: the dimity is not a kind of a oculism.; int8 -> hypothesis;
that the dimity does concretize adz but it is not factory-made is incorrect.
sent11 -> int9: if the dimity is a groomsman then the fact that it does concretize adz and is not factory-made is not correct.;
$hypothesis$ = the fact that that something is not a kind of a oculism is not incorrect does not hold. ; $context$ = sent1: the dimity is autogenetic. sent2: the dimity is not a oculism if something does concretize adz and it is a guy. sent3: something is pessimistic. sent4: the precipitate concretizes dimity. sent5: The adz concretizes whipping. sent6: the Gypsy is a groomsman. sent7: the Gypsy is not a groomsman if there exists something such that the fact that it does guy and does not descry deoxyadenosine is not correct. sent8: something does descry collar and does reckon petticoated. sent9: the whipping concretizes adz. sent10: the Gypsy does not lace precipitate. sent11: if something is a groomsman the fact that it concretizes adz and it is not factory-made is not right. ; $proof$ = 
void -> assump1: Let's assume that that the fact that that the whipping is a guy that does not descry deoxyadenosine is not wrong does not hold is true.; assump1 -> int1: there is something such that that it is a kind of a guy that does not descry deoxyadenosine is not right.; int1 & sent7 -> int2: the Gypsy is not a groomsman.; int2 & sent6 -> int3: this is contradiction.; [assump1] & int3 -> int4: the whipping is a guy and does not descry deoxyadenosine.; int4 -> int5: the whipping does guy.; int5 & sent9 -> int6: the whipping does concretize adz and it does guy.; int6 -> int7: there is something such that the fact that it concretizes adz and guys is not false.; int7 & sent2 -> int8: the dimity is not a kind of a oculism.; int8 -> hypothesis; __DISPROVED__