the fact that the lacrimation is non-mithraic thing that is not Jacobinic is false.
sent1: the admiral does not reflect U.S.. sent2: if the adrenosterone is not a Optez the tantalite is a Inca. sent3: that the lacrimation is mithraic thing that is not a copyhold is not correct if the admiral is not mithraic. sent4: the fact that if the paroxetime is not mithraic the fact that the lacrimation is not mithraic and not Jacobinic is false hold. sent5: the paroxetime is not mithraic if the tantalite is not a Optez but a Inca. sent6: something is both not mithraic and not Jacobinic if it is not a Optez. sent7: if something is not a Inca it is a kind of a Optez and it does not result manse. sent8: the admiral is not a kind of a copyhold and does not reflect U.S.. sent9: the ten is not a kind of a chariot and is mithraic. sent10: the fact that the tantalite is a Optez but it does not reflect U.S. is not true. sent11: the adrenosterone is not a Optez if something that is not a copyhold does not reflect U.S.. sent12: the adrenosterone does not reflect U.S.. sent13: the lacrimation is not a Optez if the adrenosterone is a Optez and does not result manse.
sent8 -> int1: something is not a kind of a copyhold and it does not reflect U.S..; int1 & sent11 -> int2: the adrenosterone is not a Optez.;
the lacrimation is not mithraic and is not Jacobinic.
sent6 -> int3: the lacrimation is both not mithraic and not Jacobinic if it is not a kind of a Optez.; sent7 -> int4: that the adrenosterone is a Optez that does not result manse is not false if it is not a kind of a Inca.;
$hypothesis$ = the fact that the lacrimation is non-mithraic thing that is not Jacobinic is false. ; $context$ = sent1: the admiral does not reflect U.S.. sent2: if the adrenosterone is not a Optez the tantalite is a Inca. sent3: that the lacrimation is mithraic thing that is not a copyhold is not correct if the admiral is not mithraic. sent4: the fact that if the paroxetime is not mithraic the fact that the lacrimation is not mithraic and not Jacobinic is false hold. sent5: the paroxetime is not mithraic if the tantalite is not a Optez but a Inca. sent6: something is both not mithraic and not Jacobinic if it is not a Optez. sent7: if something is not a Inca it is a kind of a Optez and it does not result manse. sent8: the admiral is not a kind of a copyhold and does not reflect U.S.. sent9: the ten is not a kind of a chariot and is mithraic. sent10: the fact that the tantalite is a Optez but it does not reflect U.S. is not true. sent11: the adrenosterone is not a Optez if something that is not a copyhold does not reflect U.S.. sent12: the adrenosterone does not reflect U.S.. sent13: the lacrimation is not a Optez if the adrenosterone is a Optez and does not result manse. ; $proof$ = 
sent8 -> int1: something is not a kind of a copyhold and it does not reflect U.S..; int1 & sent11 -> int2: the adrenosterone is not a Optez.; __UNKNOWN__