there is something such that it is not a kind of a Staphylinidae and it is royal.
sent1: there is something such that it is a kind of a Staphylinidae that is royal. sent2: something is royal. sent3: something does not outnumber job or it does outnumber cage or both if it is not an exposure. sent4: that the anopheline is not an exposure and it is non-royal is not right if the trompillo is not Baltic. sent5: the monstera is fungoid but it is not a kind of an exposure. sent6: there exists something such that it is not a Staphylinidae. sent7: the tarot does not outnumber job and/or it outnumbers cage. sent8: either the tarot does outnumber job or it does not outnumber cage or both if it is not an exposure. sent9: the trompillo is both not a Staphylinidae and a royal if the anopheline is not a kind of a Staphylinidae. sent10: if the anopheline is not a Staphylinidae then the trompillo is a kind of a royal. sent11: the tarot is not an exposure if the monstera is both fungoid and not an exposure. sent12: the tarot outnumbers job or it does not outnumber cage or both. sent13: if the tarot is not an exposure it does not outnumber job or does outnumber cage or both. sent14: the trompillo is royal. sent15: that something does not outnumber job or does not outnumber cage or both is correct if it is not a kind of an exposure. sent16: if something is not a isogamy then either it is not nonenzymatic or it is an easter or both. sent17: if the monstera is fungoid and is an exposure then the tarot is not a kind of an exposure. sent18: if either the tarot does not outnumber job or it does not outnumber cage or both then the anopheline is not a Staphylinidae.
sent15 -> int1: the tarot does not outnumber job or does not outnumber cage or both if it is not an exposure.; sent11 & sent5 -> int2: the tarot is not a kind of an exposure.; int1 & int2 -> int3: the tarot does not outnumber job and/or it does not outnumber cage.; int3 & sent18 -> int4: the anopheline is not a kind of a Staphylinidae.; int4 & sent9 -> int5: the trompillo is not a Staphylinidae and is a royal.; int5 -> hypothesis;
the bidding is not a kind of a Staphylinidae or it is non-pressor or both.
$hypothesis$ = there is something such that it is not a kind of a Staphylinidae and it is royal. ; $context$ = sent1: there is something such that it is a kind of a Staphylinidae that is royal. sent2: something is royal. sent3: something does not outnumber job or it does outnumber cage or both if it is not an exposure. sent4: that the anopheline is not an exposure and it is non-royal is not right if the trompillo is not Baltic. sent5: the monstera is fungoid but it is not a kind of an exposure. sent6: there exists something such that it is not a Staphylinidae. sent7: the tarot does not outnumber job and/or it outnumbers cage. sent8: either the tarot does outnumber job or it does not outnumber cage or both if it is not an exposure. sent9: the trompillo is both not a Staphylinidae and a royal if the anopheline is not a kind of a Staphylinidae. sent10: if the anopheline is not a Staphylinidae then the trompillo is a kind of a royal. sent11: the tarot is not an exposure if the monstera is both fungoid and not an exposure. sent12: the tarot outnumbers job or it does not outnumber cage or both. sent13: if the tarot is not an exposure it does not outnumber job or does outnumber cage or both. sent14: the trompillo is royal. sent15: that something does not outnumber job or does not outnumber cage or both is correct if it is not a kind of an exposure. sent16: if something is not a isogamy then either it is not nonenzymatic or it is an easter or both. sent17: if the monstera is fungoid and is an exposure then the tarot is not a kind of an exposure. sent18: if either the tarot does not outnumber job or it does not outnumber cage or both then the anopheline is not a Staphylinidae. ; $proof$ = 
sent15 -> int1: the tarot does not outnumber job or does not outnumber cage or both if it is not an exposure.; sent11 & sent5 -> int2: the tarot is not a kind of an exposure.; int1 & int2 -> int3: the tarot does not outnumber job and/or it does not outnumber cage.; int3 & sent18 -> int4: the anopheline is not a kind of a Staphylinidae.; int4 & sent9 -> int5: the trompillo is not a Staphylinidae and is a royal.; int5 -> hypothesis; __PROVED__