that the oxidation does not etiolate is not true.
sent1: something does not etiolate if the fact that it is not anorectal and is not a agnosia is not right. sent2: the bonesetter does clear sword. sent3: if the sword is a domestication but it is not anorectal the oxidation etiolates. sent4: the brittle etiolates. sent5: the oxidation is not a covered. sent6: if the ceresin is not a agnosia then that it is anorectal hold. sent7: the pocketbook is a flick if it is not a domestication. sent8: the ceresin is not a agnosia if the fact that it is a literate and/or clears sword is incorrect. sent9: the oxidation does clear Broussonetia. sent10: if the ceresin is anorectal the sword is not a domestication and it is not anorectal. sent11: the ceresin is not a agnosia if that it is a literate and/or does not clear sword is not right. sent12: the ceresin clears sword. sent13: if the sword is not a domestication and it is not anorectal the fact that the oxidation etiolates is right. sent14: the brocket does not clear sword and does not grease Aphrodite. sent15: the fact that the ceresin is a literate or it does not clear sword or both does not hold. sent16: if the sword is not anorectal and is not a agnosia the ceresin is literate. sent17: the sword is not a kind of a domestication. sent18: that the sword is on-the-job and/or is not raptorial is not true. sent19: that the sword does not clear sword hold. sent20: the ceresin is not anorectal and it does not clear sword if the sword does clear sword. sent21: if the ceresin is anorectal then the sword is not a kind of a domestication.
sent11 & sent15 -> int1: the ceresin is not a agnosia.; int1 & sent6 -> int2: the ceresin is anorectal.; int2 & sent10 -> int3: the sword is not a kind of a domestication and is not anorectal.; int3 & sent13 -> hypothesis;
the oxidation does not etiolate.
sent1 -> int4: the fact that the oxidation does not etiolate is not incorrect if the fact that it is not anorectal and it is not a kind of a agnosia is wrong.;
$hypothesis$ = that the oxidation does not etiolate is not true. ; $context$ = sent1: something does not etiolate if the fact that it is not anorectal and is not a agnosia is not right. sent2: the bonesetter does clear sword. sent3: if the sword is a domestication but it is not anorectal the oxidation etiolates. sent4: the brittle etiolates. sent5: the oxidation is not a covered. sent6: if the ceresin is not a agnosia then that it is anorectal hold. sent7: the pocketbook is a flick if it is not a domestication. sent8: the ceresin is not a agnosia if the fact that it is a literate and/or clears sword is incorrect. sent9: the oxidation does clear Broussonetia. sent10: if the ceresin is anorectal the sword is not a domestication and it is not anorectal. sent11: the ceresin is not a agnosia if that it is a literate and/or does not clear sword is not right. sent12: the ceresin clears sword. sent13: if the sword is not a domestication and it is not anorectal the fact that the oxidation etiolates is right. sent14: the brocket does not clear sword and does not grease Aphrodite. sent15: the fact that the ceresin is a literate or it does not clear sword or both does not hold. sent16: if the sword is not anorectal and is not a agnosia the ceresin is literate. sent17: the sword is not a kind of a domestication. sent18: that the sword is on-the-job and/or is not raptorial is not true. sent19: that the sword does not clear sword hold. sent20: the ceresin is not anorectal and it does not clear sword if the sword does clear sword. sent21: if the ceresin is anorectal then the sword is not a kind of a domestication. ; $proof$ = 
sent11 & sent15 -> int1: the ceresin is not a agnosia.; int1 & sent6 -> int2: the ceresin is anorectal.; int2 & sent10 -> int3: the sword is not a kind of a domestication and is not anorectal.; int3 & sent13 -> hypothesis; __PROVED__