the tankard is not a kind of a Limulidae.
sent1: the xanthate is not a hallstand but a Limulidae. sent2: the tankard is a kind of a down-and-out if the fact that the east is a kind of a Limulidae but it is not an earth is not correct. sent3: if the east is an earth the fact that the poleax does accede is not false. sent4: if there is something such that it is a kind of a angiosperm either the east is a angiosperm or it is a down-and-out or both. sent5: if the xanthate is not a hallstand and is a kind of a Limulidae the tachistoscope is not a kind of a Limulidae. sent6: there exists nothing that is an earth that does not patronage iodopsin. sent7: if there is something such that it is a kind of a down-and-out or it accedes or both then the tankard is not a Limulidae.
sent6 -> int1: the fact that the poleax does earth and does not patronage iodopsin does not hold.;
the presence patronages iodopsin and/or it is a angiosperm.
sent5 & sent1 -> int2: the tachistoscope is not a Limulidae.; int2 -> int3: there is something such that it is not a Limulidae.;
$hypothesis$ = the tankard is not a kind of a Limulidae. ; $context$ = sent1: the xanthate is not a hallstand but a Limulidae. sent2: the tankard is a kind of a down-and-out if the fact that the east is a kind of a Limulidae but it is not an earth is not correct. sent3: if the east is an earth the fact that the poleax does accede is not false. sent4: if there is something such that it is a kind of a angiosperm either the east is a angiosperm or it is a down-and-out or both. sent5: if the xanthate is not a hallstand and is a kind of a Limulidae the tachistoscope is not a kind of a Limulidae. sent6: there exists nothing that is an earth that does not patronage iodopsin. sent7: if there is something such that it is a kind of a down-and-out or it accedes or both then the tankard is not a Limulidae. ; $proof$ = 
sent6 -> int1: the fact that the poleax does earth and does not patronage iodopsin does not hold.; __UNKNOWN__