the in-law is not an eyewitness and it is not homiletics.
sent1: if the lunching deflates splinter and is not a detumescence that the knife-handle deflates splinter is not wrong. sent2: if the fact that something is homiletics and is a detumescence is not correct it is not homiletics. sent3: if there exists something such that it does not deflate splinter and is a kind of a Caranx then the lunching does not correct. sent4: the fact that the in-law is not a detumescence is incorrect if the fact that it is not an eyewitness and not homiletics does not hold. sent5: something is a Caranx that is corrected if it does not hook Micronesia. sent6: that the in-law does not eyewitness and is not homiletics does not hold if the knife-handle deflates splinter. sent7: the fact that the bunting does correct is not wrong. sent8: if there exists something such that the fact that it is non-non-metric and hooks Micronesia is not right the lunching does correct. sent9: the Iberian is not a kind of a cruiserweight. sent10: if there exists something such that it is a detumescence the knife-handle does not deflate splinter and is a kind of a Caranx. sent11: there is something such that the fact that it is non-metric and it hooks Micronesia does not hold.
void -> assump1: Let's assume that that the in-law is not an eyewitness and not homiletics is false.; sent4 & assump1 -> int1: the in-law is a kind of a detumescence.; int1 -> int2: there is something such that it is a detumescence.; int2 & sent10 -> int3: the knife-handle does not deflate splinter and is a Caranx.; int3 -> int4: there is something such that it does not deflate splinter and is a Caranx.; int4 & sent3 -> int5: the lunching is not corrected.;
the lunching is not homiletics.
sent2 -> int6: if the fact that the lunching is a kind of homiletics thing that is a kind of a detumescence is not true then it is not homiletics.;
$hypothesis$ = the in-law is not an eyewitness and it is not homiletics. ; $context$ = sent1: if the lunching deflates splinter and is not a detumescence that the knife-handle deflates splinter is not wrong. sent2: if the fact that something is homiletics and is a detumescence is not correct it is not homiletics. sent3: if there exists something such that it does not deflate splinter and is a kind of a Caranx then the lunching does not correct. sent4: the fact that the in-law is not a detumescence is incorrect if the fact that it is not an eyewitness and not homiletics does not hold. sent5: something is a Caranx that is corrected if it does not hook Micronesia. sent6: that the in-law does not eyewitness and is not homiletics does not hold if the knife-handle deflates splinter. sent7: the fact that the bunting does correct is not wrong. sent8: if there exists something such that the fact that it is non-non-metric and hooks Micronesia is not right the lunching does correct. sent9: the Iberian is not a kind of a cruiserweight. sent10: if there exists something such that it is a detumescence the knife-handle does not deflate splinter and is a kind of a Caranx. sent11: there is something such that the fact that it is non-metric and it hooks Micronesia does not hold. ; $proof$ = 
void -> assump1: Let's assume that that the in-law is not an eyewitness and not homiletics is false.; sent4 & assump1 -> int1: the in-law is a kind of a detumescence.; int1 -> int2: there is something such that it is a detumescence.; int2 & sent10 -> int3: the knife-handle does not deflate splinter and is a Caranx.; int3 -> int4: there is something such that it does not deflate splinter and is a Caranx.; int4 & sent3 -> int5: the lunching is not corrected.; __UNKNOWN__