the weald is a kind of a lidded but it is not hypertonic.
sent1: if the weald is not neuropsychiatric and it is not hypertonic the Excellency is a lidded. sent2: if the fact that the weald does not ventilate and captures bowhead is not true then it is not hypertonic. sent3: there exists something such that the fact that it is not a kind of a kangaroo's-foot and it is not proud is not right. sent4: the fact that the weald does not ventilate but it captures bowhead does not hold. sent5: that the weald ventilates and does capture bowhead does not hold. sent6: something that is a lidded is unpleasant. sent7: that something is a lidded that is not hypertonic is incorrect if it is not unpleasant. sent8: that the skin captures bowhead is correct. sent9: the skin is a snipefish and it does unscrew skin. sent10: the weald is not mammalian if the skin is a snipefish but it is not mammalian. sent11: the skin is unpleasant. sent12: the skin is not mammalian and is not a kangaroo's-foot if it is not proud. sent13: if something is not mammalian then it is both non-neuropsychiatric and not hypertonic. sent14: that the weald is a kind of a lidded is not incorrect if the skin is unpleasant.
sent2 & sent4 -> int1: the fact that the weald is not hypertonic hold.; sent14 & sent11 -> int2: the weald is a lidded.; int1 & int2 -> hypothesis;
the fact that the fact that the weald is a kind of a lidded but it is not hypertonic is true is wrong.
sent7 -> int3: the fact that the weald is a lidded and not hypertonic is wrong if it is not unpleasant.;
$hypothesis$ = the weald is a kind of a lidded but it is not hypertonic. ; $context$ = sent1: if the weald is not neuropsychiatric and it is not hypertonic the Excellency is a lidded. sent2: if the fact that the weald does not ventilate and captures bowhead is not true then it is not hypertonic. sent3: there exists something such that the fact that it is not a kind of a kangaroo's-foot and it is not proud is not right. sent4: the fact that the weald does not ventilate but it captures bowhead does not hold. sent5: that the weald ventilates and does capture bowhead does not hold. sent6: something that is a lidded is unpleasant. sent7: that something is a lidded that is not hypertonic is incorrect if it is not unpleasant. sent8: that the skin captures bowhead is correct. sent9: the skin is a snipefish and it does unscrew skin. sent10: the weald is not mammalian if the skin is a snipefish but it is not mammalian. sent11: the skin is unpleasant. sent12: the skin is not mammalian and is not a kangaroo's-foot if it is not proud. sent13: if something is not mammalian then it is both non-neuropsychiatric and not hypertonic. sent14: that the weald is a kind of a lidded is not incorrect if the skin is unpleasant. ; $proof$ = 
sent2 & sent4 -> int1: the fact that the weald is not hypertonic hold.; sent14 & sent11 -> int2: the weald is a lidded.; int1 & int2 -> hypothesis; __PROVED__