that the CD is not retroactive is not wrong.
sent1: there exists something such that it is chronic. sent2: something is not retroactive if it is a kind of corrupted thing that spoons lake. sent3: something enjoys decree. sent4: the CD is not non-chronic and/or enjoys decree if the fact that something is non-chronic hold. sent5: the fact that the CD does not spoon lake is incorrect if that it is chronic is not wrong. sent6: something does spoon lake if it does enjoy decree. sent7: the CD is a bloodleaf and it is a Mosaic. sent8: if there is something such that it is a kind of a Mosaic that does corrupt then the student is a kind of a bloodleaf. sent9: if something is a Mosaic then it does corrupt. sent10: something is Mosaic thing that does corrupt if the fact that it does not spoon lake hold. sent11: if something is a bloodleaf then it does rhyme. sent12: there is something such that it spoons lake.
sent7 -> int1: the CD is a Mosaic.; sent9 -> int2: the CD corrupts if it is Mosaic.; int1 & int2 -> int3: the fact that the CD corrupts hold.; sent1 & sent4 -> int4: the CD is chronic or it enjoys decree or both.; sent6 -> int5: if the CD does enjoy decree then it spoons lake.; int4 & sent5 & int5 -> int6: the CD spoons lake.; int3 & int6 -> int7: the CD does corrupt and it spoons lake.; sent2 -> int8: the CD is not retroactive if it corrupts and it spoons lake.; int7 & int8 -> hypothesis;
the student is retroactive or it is a kind of a rhyme or both.
sent11 -> int9: if the student is a bloodleaf that it rhymes is right.; sent10 -> int10: if the CD does not spoon lake then it is Mosaic and corrupted.;
$hypothesis$ = that the CD is not retroactive is not wrong. ; $context$ = sent1: there exists something such that it is chronic. sent2: something is not retroactive if it is a kind of corrupted thing that spoons lake. sent3: something enjoys decree. sent4: the CD is not non-chronic and/or enjoys decree if the fact that something is non-chronic hold. sent5: the fact that the CD does not spoon lake is incorrect if that it is chronic is not wrong. sent6: something does spoon lake if it does enjoy decree. sent7: the CD is a bloodleaf and it is a Mosaic. sent8: if there is something such that it is a kind of a Mosaic that does corrupt then the student is a kind of a bloodleaf. sent9: if something is a Mosaic then it does corrupt. sent10: something is Mosaic thing that does corrupt if the fact that it does not spoon lake hold. sent11: if something is a bloodleaf then it does rhyme. sent12: there is something such that it spoons lake. ; $proof$ = 
sent7 -> int1: the CD is a Mosaic.; sent9 -> int2: the CD corrupts if it is Mosaic.; int1 & int2 -> int3: the fact that the CD corrupts hold.; sent1 & sent4 -> int4: the CD is chronic or it enjoys decree or both.; sent6 -> int5: if the CD does enjoy decree then it spoons lake.; int4 & sent5 & int5 -> int6: the CD spoons lake.; int3 & int6 -> int7: the CD does corrupt and it spoons lake.; sent2 -> int8: the CD is not retroactive if it corrupts and it spoons lake.; int7 & int8 -> hypothesis; __PROVED__