the source is not homeopathic.
sent1: that the third is a kind of a Rain-giver and it is tactless is not right. sent2: the dubbin does not dangle AHPCRC if there is something such that that it is not a hostile and/or it is not a Salmon is false. sent3: if the delicacy is not a kind of a Shakespearian the syncytium is not a photometer. sent4: if the syncytium is not a photometer then that that either the dubbin is athletic or it does not dangle AHPCRC or both does not hold is not incorrect. sent5: the crap is optimistic thing that is not a Ovid if the third is not a Kuomintang. sent6: if that something is not optimistic is correct then it is not athletic. sent7: the syncytium is non-cytoplasmic if the fact that it is a kind of a hostile and it is a selector is not true. sent8: the delicacy is not technophilic. sent9: there is something such that that it does not dangle AHPCRC or it is not a Kuomintang or both is incorrect. sent10: the fact that something is a personage and tactful is wrong if it is Shakespearian. sent11: if there is something such that the fact that it is not Irish or it is not a Salmon or both is wrong then the viaduct is not hostile. sent12: everything is optimistic. sent13: the source is not homeopathic if the fact that the dubbin is athletic or it does not dangle AHPCRC or both is not correct. sent14: the fact that the third does not dangle AHPCRC if the fact that the third is athletic and it is tactless is incorrect is not false. sent15: if the dubbin is polygonal it is homeopathic. sent16: if the crap is a kind of a Shakespearian then it is optimistic. sent17: the fact that the crap is optimistic but it is not a Ovid does not hold if the viaduct is not a kind of a hostile. sent18: if that something is a Rain-giver that is tactless is not correct then it is not a Kuomintang.
void -> assump1: Let's assume that the delicacy is a kind of a Shakespearian.; sent18 -> int1: if that the third is a Rain-giver that is tactless is false it is not a Kuomintang.; int1 & sent1 -> int2: the third is not a kind of a Kuomintang.; sent5 & int2 -> int3: the crap is optimistic but it is not a kind of a Ovid.;
the source is homeopathic.
sent12 -> int4: the delicacy is optimistic.;
$hypothesis$ = the source is not homeopathic. ; $context$ = sent1: that the third is a kind of a Rain-giver and it is tactless is not right. sent2: the dubbin does not dangle AHPCRC if there is something such that that it is not a hostile and/or it is not a Salmon is false. sent3: if the delicacy is not a kind of a Shakespearian the syncytium is not a photometer. sent4: if the syncytium is not a photometer then that that either the dubbin is athletic or it does not dangle AHPCRC or both does not hold is not incorrect. sent5: the crap is optimistic thing that is not a Ovid if the third is not a Kuomintang. sent6: if that something is not optimistic is correct then it is not athletic. sent7: the syncytium is non-cytoplasmic if the fact that it is a kind of a hostile and it is a selector is not true. sent8: the delicacy is not technophilic. sent9: there is something such that that it does not dangle AHPCRC or it is not a Kuomintang or both is incorrect. sent10: the fact that something is a personage and tactful is wrong if it is Shakespearian. sent11: if there is something such that the fact that it is not Irish or it is not a Salmon or both is wrong then the viaduct is not hostile. sent12: everything is optimistic. sent13: the source is not homeopathic if the fact that the dubbin is athletic or it does not dangle AHPCRC or both is not correct. sent14: the fact that the third does not dangle AHPCRC if the fact that the third is athletic and it is tactless is incorrect is not false. sent15: if the dubbin is polygonal it is homeopathic. sent16: if the crap is a kind of a Shakespearian then it is optimistic. sent17: the fact that the crap is optimistic but it is not a Ovid does not hold if the viaduct is not a kind of a hostile. sent18: if that something is a Rain-giver that is tactless is not correct then it is not a Kuomintang. ; $proof$ = 
void -> assump1: Let's assume that the delicacy is a kind of a Shakespearian.; sent18 -> int1: if that the third is a Rain-giver that is tactless is false it is not a Kuomintang.; int1 & sent1 -> int2: the third is not a kind of a Kuomintang.; sent5 & int2 -> int3: the crap is optimistic but it is not a kind of a Ovid.; __UNKNOWN__