the sheeting is patellar.
sent1: the fact that the artillery is a spokeswoman that is not absorbable does not hold if the greengrocery does not antisepticize immediacy. sent2: that the artillery is not a Liechtensteiner and is not a spokeswoman does not hold if something does correspond sea-duty. sent3: there is something such that that it does not correspond sea-duty is wrong. sent4: if there exists something such that it is patellar that the sheeting is not a Liechtensteiner but a spokeswoman is false. sent5: the sheeting is patellar if the artillery is absorbable. sent6: the greengrocery does not antisepticize immediacy and is not a kind of a septum.
sent3 & sent2 -> int1: that the artillery is not a kind of a Liechtensteiner and it is not a spokeswoman is not correct.;
the sheeting is not patellar.
sent6 -> int2: the greengrocery does not antisepticize immediacy.; sent1 & int2 -> int3: that the artillery is both a spokeswoman and not absorbable is not true.; int3 -> int4: there exists something such that that it is a spokeswoman and it is not absorbable is not correct.;
$hypothesis$ = the sheeting is patellar. ; $context$ = sent1: the fact that the artillery is a spokeswoman that is not absorbable does not hold if the greengrocery does not antisepticize immediacy. sent2: that the artillery is not a Liechtensteiner and is not a spokeswoman does not hold if something does correspond sea-duty. sent3: there is something such that that it does not correspond sea-duty is wrong. sent4: if there exists something such that it is patellar that the sheeting is not a Liechtensteiner but a spokeswoman is false. sent5: the sheeting is patellar if the artillery is absorbable. sent6: the greengrocery does not antisepticize immediacy and is not a kind of a septum. ; $proof$ = 
sent3 & sent2 -> int1: that the artillery is not a kind of a Liechtensteiner and it is not a spokeswoman is not correct.; __UNKNOWN__