the xylose is not a Hittite.
sent1: the camlet is both not a LCD and not a Trenton if there exists something such that it does not field spiked. sent2: there is something such that it does not field spiked. sent3: the antidiuretic is a well if something that is not a LCD is not a Trenton. sent4: the antidiuretic does field Bunche and it is extramural. sent5: that the xylose is not a shielded is true if the antidiuretic is well a shielded. sent6: if the antidiuretic is extramural the xylose is not a Hittite but it is a shielded. sent7: either something fields Bunche or it is extramural or both if it does not shield. sent8: the xylose is a shielded.
sent4 -> int1: the antidiuretic is extramural.; sent6 & int1 -> int2: the xylose is not a Hittite but it is a shielded.; int2 -> hypothesis;
the xylose is Hittite.
sent7 -> int3: the xylose fields Bunche and/or it is extramural if the fact that it shields is incorrect.; sent2 & sent1 -> int4: the camlet is not a kind of a LCD and it is not a Trenton.; int4 -> int5: something is not a LCD and not a Trenton.; int5 & sent3 -> int6: the antidiuretic is a well.;
$hypothesis$ = the xylose is not a Hittite. ; $context$ = sent1: the camlet is both not a LCD and not a Trenton if there exists something such that it does not field spiked. sent2: there is something such that it does not field spiked. sent3: the antidiuretic is a well if something that is not a LCD is not a Trenton. sent4: the antidiuretic does field Bunche and it is extramural. sent5: that the xylose is not a shielded is true if the antidiuretic is well a shielded. sent6: if the antidiuretic is extramural the xylose is not a Hittite but it is a shielded. sent7: either something fields Bunche or it is extramural or both if it does not shield. sent8: the xylose is a shielded. ; $proof$ = 
sent4 -> int1: the antidiuretic is extramural.; sent6 & int1 -> int2: the xylose is not a Hittite but it is a shielded.; int2 -> hypothesis; __PROVED__