that the chrism does not attend and does not ensky numen is false.
sent1: the triolein is not catoptrics if either something is not macaronic or it is Madagascan or both. sent2: the geek enskies numen. sent3: the chrism does not ensky xylose. sent4: the triolein is a kind of a surcharge that attends. sent5: that the chrism does not attend and is not a surcharge does not hold if that the triolein attend is not incorrect. sent6: either the chrism is not macaronic or it is a Madagascan or both if it does not ensky xylose. sent7: the sphagnum does not ensky numen but it is a Hermaphroditus if the triolein is not catoptrics. sent8: the fact that the chrism is not a kind of a surcharge but it attends is not right if the triolein is a surcharge. sent9: if the fact that the triolein is a Hermaphroditus is correct the chrism does not ensky arctangent. sent10: the fact that the chrism does not attend and it does not ensky numen is not true if the fact that the triolein attend is not false. sent11: the fact that the chrism is a kind of a intercostal and does not exalt tan does not hold. sent12: the triolein is a surcharge. sent13: that the chrism does not surcharge and attends does not hold. sent14: the chrism is a scuffer that scoffs trichromacy. sent15: if something does not ensky arctangent then it does not surcharge. sent16: something that does not ensky numen is a surcharge and enskies arctangent.
sent4 -> int1: the triolein attends.; int1 & sent10 -> hypothesis;
the sphagnum attends.
sent16 -> int2: if the sphagnum does not ensky numen then it does surcharge and does ensky arctangent.; sent6 & sent3 -> int3: the chrism is not macaronic and/or it is a Madagascan.; int3 -> int4: that either something is not macaronic or it is a Madagascan or both hold.; int4 & sent1 -> int5: the triolein is not catoptrics.; sent7 & int5 -> int6: the sphagnum does not ensky numen and is a kind of a Hermaphroditus.; int6 -> int7: that the sphagnum does not ensky numen hold.; int2 & int7 -> int8: the sphagnum does surcharge and it does ensky arctangent.; int8 -> int9: the sphagnum does surcharge.;
$hypothesis$ = that the chrism does not attend and does not ensky numen is false. ; $context$ = sent1: the triolein is not catoptrics if either something is not macaronic or it is Madagascan or both. sent2: the geek enskies numen. sent3: the chrism does not ensky xylose. sent4: the triolein is a kind of a surcharge that attends. sent5: that the chrism does not attend and is not a surcharge does not hold if that the triolein attend is not incorrect. sent6: either the chrism is not macaronic or it is a Madagascan or both if it does not ensky xylose. sent7: the sphagnum does not ensky numen but it is a Hermaphroditus if the triolein is not catoptrics. sent8: the fact that the chrism is not a kind of a surcharge but it attends is not right if the triolein is a surcharge. sent9: if the fact that the triolein is a Hermaphroditus is correct the chrism does not ensky arctangent. sent10: the fact that the chrism does not attend and it does not ensky numen is not true if the fact that the triolein attend is not false. sent11: the fact that the chrism is a kind of a intercostal and does not exalt tan does not hold. sent12: the triolein is a surcharge. sent13: that the chrism does not surcharge and attends does not hold. sent14: the chrism is a scuffer that scoffs trichromacy. sent15: if something does not ensky arctangent then it does not surcharge. sent16: something that does not ensky numen is a surcharge and enskies arctangent. ; $proof$ = 
sent4 -> int1: the triolein attends.; int1 & sent10 -> hypothesis; __PROVED__