there exists something such that it is both not a hardbacked and a invalidator.
sent1: the Lanai is a quantic. sent2: the baldric is not a right if there is something such that the fact that it is not oceanic is not incorrect. sent3: if the complex is on-the-job then the Tunisian is on-the-job. sent4: there is something such that it is a right. sent5: the Lanai rights and it is a coadjutor if the baldric is not a rights. sent6: there are oceanic and murine things. sent7: something is not a hardbacked. sent8: the complex is on-the-job. sent9: the Tunisian is not a hardbacked if something is a kind of right a quantic. sent10: the baldric is not a kind of a right if there is something such that the fact that it is oceanic and is murine is incorrect. sent11: something is both a hardbacked and a invalidator. sent12: a on-the-job thing is a invalidator. sent13: the Lanai is a kind of a coadjutor if the baldric is not right.
sent12 -> int1: if the Tunisian is on-the-job then it is a kind of a invalidator.; sent3 & sent8 -> int2: the fact that the Tunisian is on-the-job is not wrong.; int1 & int2 -> int3: the fact that the Tunisian is a invalidator hold.;
$hypothesis$ = there exists something such that it is both not a hardbacked and a invalidator. ; $context$ = sent1: the Lanai is a quantic. sent2: the baldric is not a right if there is something such that the fact that it is not oceanic is not incorrect. sent3: if the complex is on-the-job then the Tunisian is on-the-job. sent4: there is something such that it is a right. sent5: the Lanai rights and it is a coadjutor if the baldric is not a rights. sent6: there are oceanic and murine things. sent7: something is not a hardbacked. sent8: the complex is on-the-job. sent9: the Tunisian is not a hardbacked if something is a kind of right a quantic. sent10: the baldric is not a kind of a right if there is something such that the fact that it is oceanic and is murine is incorrect. sent11: something is both a hardbacked and a invalidator. sent12: a on-the-job thing is a invalidator. sent13: the Lanai is a kind of a coadjutor if the baldric is not right. ; $proof$ = 
sent12 -> int1: if the Tunisian is on-the-job then it is a kind of a invalidator.; sent3 & sent8 -> int2: the fact that the Tunisian is on-the-job is not wrong.; int1 & int2 -> int3: the fact that the Tunisian is a invalidator hold.; __UNKNOWN__