the silicle is not uninformative.
sent1: if the great-uncle does not fret Cimicidae then it is chondritic. sent2: the silicle does rede credulity and it is a capriole. sent3: something does stump. sent4: if the Turk is a smoothed then that the frill does not fret Cimicidae or is not chondritic or both is not true. sent5: the great-uncle does not fret Cimicidae if there exists something such that it is uninformative and is a stump. sent6: if something is not non-cellulosid and does not rede credulity the silicle is a Jacobean. sent7: the silicle does not fret Cimicidae if the great-uncle is not Jacobean. sent8: the great-uncle either does not shriek or does fret Cimicidae or both. sent9: something is a stump and it is not non-chondritic. sent10: the clout is a Jacobean that tittups. sent11: the earth is uninformative. sent12: there is something such that it frets sapphire. sent13: that something is both informative and a Jacobean is false if that it is not a stump is correct. sent14: the frill does not smooth and/or is a carry-over. sent15: if the fact that the silicle is a kind of a Jacobean is not incorrect then it is a stump. sent16: the silicle is not cellulosid. sent17: if the frill either is non-smoothed or is a carry-over or both the great-uncle is not chondritic.
void -> assump1: Let's assume that the silicle is uninformative.; sent17 & sent14 -> int1: the great-uncle is not chondritic.;
the silicle is uninformative.
sent13 -> int2: if the great-uncle is not a stump then that it is informative and not non-Jacobean is not right.;
$hypothesis$ = the silicle is not uninformative. ; $context$ = sent1: if the great-uncle does not fret Cimicidae then it is chondritic. sent2: the silicle does rede credulity and it is a capriole. sent3: something does stump. sent4: if the Turk is a smoothed then that the frill does not fret Cimicidae or is not chondritic or both is not true. sent5: the great-uncle does not fret Cimicidae if there exists something such that it is uninformative and is a stump. sent6: if something is not non-cellulosid and does not rede credulity the silicle is a Jacobean. sent7: the silicle does not fret Cimicidae if the great-uncle is not Jacobean. sent8: the great-uncle either does not shriek or does fret Cimicidae or both. sent9: something is a stump and it is not non-chondritic. sent10: the clout is a Jacobean that tittups. sent11: the earth is uninformative. sent12: there is something such that it frets sapphire. sent13: that something is both informative and a Jacobean is false if that it is not a stump is correct. sent14: the frill does not smooth and/or is a carry-over. sent15: if the fact that the silicle is a kind of a Jacobean is not incorrect then it is a stump. sent16: the silicle is not cellulosid. sent17: if the frill either is non-smoothed or is a carry-over or both the great-uncle is not chondritic. ; $proof$ = 
void -> assump1: Let's assume that the silicle is uninformative.; sent17 & sent14 -> int1: the great-uncle is not chondritic.; __UNKNOWN__