the fact that the serf is not anarchistic hold.
sent1: the antiaircraft does snuffle restaurant. sent2: the coreligionist is a totalitarian if something that is not bionics snuffles restaurant. sent3: the serf is not a kind of a fossil if the prostitute frees. sent4: if there is something such that it is not phonics either the mezzanine does surpass or it is journalistic or both. sent5: the serf is anarchistic if the mezzanine is not phonics. sent6: there exists something such that it does snuffle restaurant. sent7: if the prostitute does free then the serf is not a fossil and is not anarchistic. sent8: if the coreligionist is non-totalitarian the serf is non-totalitarian. sent9: if something is a totalitarian it does not free. sent10: something is fossil and bionics. sent11: the mezzanine is a kind of a totalitarian. sent12: the fact that the coreligionist does snuffle restaurant and is not a totalitarian is false. sent13: the coreligionist does not snuffle restaurant. sent14: if something is journalistic it does not snuffle restaurant. sent15: if the prostitute is freesia and/or it does snuffle restaurant it is not bionics. sent16: there exists something such that it is not phonics. sent17: the prostitute is a freesia if the coreligionist is totalitarian. sent18: if something does surpass or is journalistic or both it does not snuffle restaurant. sent19: the mezzanine is not a fossil. sent20: the coreligionist does not tool halothane but it rallies disinterested.
sent16 & sent4 -> int1: the mezzanine does surpass or it is journalistic or both.; sent18 -> int2: the mezzanine does not snuffle restaurant if it either does surpass or is journalistic or both.; int1 & int2 -> int3: the mezzanine does not snuffle restaurant.;
the serf is anarchistic.
$hypothesis$ = the fact that the serf is not anarchistic hold. ; $context$ = sent1: the antiaircraft does snuffle restaurant. sent2: the coreligionist is a totalitarian if something that is not bionics snuffles restaurant. sent3: the serf is not a kind of a fossil if the prostitute frees. sent4: if there is something such that it is not phonics either the mezzanine does surpass or it is journalistic or both. sent5: the serf is anarchistic if the mezzanine is not phonics. sent6: there exists something such that it does snuffle restaurant. sent7: if the prostitute does free then the serf is not a fossil and is not anarchistic. sent8: if the coreligionist is non-totalitarian the serf is non-totalitarian. sent9: if something is a totalitarian it does not free. sent10: something is fossil and bionics. sent11: the mezzanine is a kind of a totalitarian. sent12: the fact that the coreligionist does snuffle restaurant and is not a totalitarian is false. sent13: the coreligionist does not snuffle restaurant. sent14: if something is journalistic it does not snuffle restaurant. sent15: if the prostitute is freesia and/or it does snuffle restaurant it is not bionics. sent16: there exists something such that it is not phonics. sent17: the prostitute is a freesia if the coreligionist is totalitarian. sent18: if something does surpass or is journalistic or both it does not snuffle restaurant. sent19: the mezzanine is not a fossil. sent20: the coreligionist does not tool halothane but it rallies disinterested. ; $proof$ = 
sent16 & sent4 -> int1: the mezzanine does surpass or it is journalistic or both.; sent18 -> int2: the mezzanine does not snuffle restaurant if it either does surpass or is journalistic or both.; int1 & int2 -> int3: the mezzanine does not snuffle restaurant.; __UNKNOWN__