the fact that the palliative does not join or is not atherosclerotic or both does not hold.
sent1: there exists something such that the fact that either it does not invest or it is comic or both is wrong. sent2: that the Astrakhan is both not a breeding and not non-atherosclerotic is not right if the saltation is Jewish. sent3: there exists something such that the fact that it is not atherosclerotic and/or it joins is not true. sent4: the ethologist is non-atherosclerotic. sent5: something that is not atherosclerotic is not Jewish. sent6: if there is something such that the fact that it does invest and/or is comic does not hold then the fact that the hedge is not a breeding is true. sent7: if something prawns it does not invest and is non-comic. sent8: something is not a turbinate if it is not a pesthole. sent9: if there is something such that the fact that it does not invest or it is comic or both does not hold then the hedge is not a kind of a breeding. sent10: the fact that that either the palliative is not Jewish or it is not atherosclerotic or both is not correct hold. sent11: there is something such that the fact that it is a Hearst and/or it is a kind of a lavage is not correct. sent12: if something is not a breeding then it is not Jewish. sent13: if the saltation does not invest and it is not comic it is not non-Jewish.
sent12 -> int1: if the hedge is not a breeding then it is not Jewish.; sent1 & sent9 -> int2: the hedge is not a breeding.; int1 & int2 -> int3: the hedge is not Jewish.;
the palliative does not join and/or is not atherosclerotic.
sent7 -> int4: the saltation does not invest and is not comic if it is a prawn.;
$hypothesis$ = the fact that the palliative does not join or is not atherosclerotic or both does not hold. ; $context$ = sent1: there exists something such that the fact that either it does not invest or it is comic or both is wrong. sent2: that the Astrakhan is both not a breeding and not non-atherosclerotic is not right if the saltation is Jewish. sent3: there exists something such that the fact that it is not atherosclerotic and/or it joins is not true. sent4: the ethologist is non-atherosclerotic. sent5: something that is not atherosclerotic is not Jewish. sent6: if there is something such that the fact that it does invest and/or is comic does not hold then the fact that the hedge is not a breeding is true. sent7: if something prawns it does not invest and is non-comic. sent8: something is not a turbinate if it is not a pesthole. sent9: if there is something such that the fact that it does not invest or it is comic or both does not hold then the hedge is not a kind of a breeding. sent10: the fact that that either the palliative is not Jewish or it is not atherosclerotic or both is not correct hold. sent11: there is something such that the fact that it is a Hearst and/or it is a kind of a lavage is not correct. sent12: if something is not a breeding then it is not Jewish. sent13: if the saltation does not invest and it is not comic it is not non-Jewish. ; $proof$ = 
sent12 -> int1: if the hedge is not a breeding then it is not Jewish.; sent1 & sent9 -> int2: the hedge is not a breeding.; int1 & int2 -> int3: the hedge is not Jewish.; __UNKNOWN__