the filature does not brief librarian.
sent1: if the filature is a kind of a barring then the piroplasm does not barring. sent2: something does brief librarian if it is a kind of a ONI. sent3: the filature does brief librarian if the piroplasm is a barring. sent4: there exists something such that the fact that it does brief librarian and does bar is wrong. sent5: if the piroplasm briefs librarian then the filature is a barring but it does not briefs librarian. sent6: if the roadster is not acceptive then the piroplasm is a barring and it is meaningless. sent7: there is something such that that it is a barring that briefs librarian is not right. sent8: that the narrowboat is a carob and it is a selectman is false. sent9: there is something such that that it is most and does impinge ladylove does not hold. sent10: if something is stannic and is not intertidal then it is not non-austenitic. sent11: the librarian is stannic but not intertidal if the plat does not peruse linage. sent12: there is something such that the fact that the fact that it is a Nancere and fruitful is true is not correct. sent13: something is both not an aunt and not a ONI if the fact that it does bar is not false. sent14: there is something such that that it is tegular and it is incontestable is false. sent15: if something does not brief librarian the filature is a barring. sent16: the fact that the plat does not peruse linage is not wrong if the splitter does not peruse linage. sent17: the superhet briefs librarian. sent18: if there exists something such that the fact that it is both a carob and a selectman is false then the splitter does not peruse linage. sent19: the piroplasm does brief splitter. sent20: if the ripcord peruses quirt and is not acceptive the roadster is not acceptive. sent21: if the piroplasm is not an aunt and it is not a kind of a ONI the filature is a ONI.
the fact that the filature does not brief librarian does not hold.
sent2 -> int1: if the filature is a ONI then it briefs librarian.; sent13 -> int2: the piroplasm is not an aunt and not a ONI if it is a barring.; sent10 -> int3: if the librarian is stannic but not intertidal it is austenitic.; sent8 -> int4: there exists something such that that it is a carob and is a selectman does not hold.; int4 & sent18 -> int5: the splitter does not peruse linage.; sent16 & int5 -> int6: the plat does not peruse linage.; sent11 & int6 -> int7: the librarian is a kind of stannic thing that is not intertidal.; int3 & int7 -> int8: the fact that the librarian is not non-austenitic is not wrong.; int8 -> int9: something is austenitic.;
$hypothesis$ = the filature does not brief librarian. ; $context$ = sent1: if the filature is a kind of a barring then the piroplasm does not barring. sent2: something does brief librarian if it is a kind of a ONI. sent3: the filature does brief librarian if the piroplasm is a barring. sent4: there exists something such that the fact that it does brief librarian and does bar is wrong. sent5: if the piroplasm briefs librarian then the filature is a barring but it does not briefs librarian. sent6: if the roadster is not acceptive then the piroplasm is a barring and it is meaningless. sent7: there is something such that that it is a barring that briefs librarian is not right. sent8: that the narrowboat is a carob and it is a selectman is false. sent9: there is something such that that it is most and does impinge ladylove does not hold. sent10: if something is stannic and is not intertidal then it is not non-austenitic. sent11: the librarian is stannic but not intertidal if the plat does not peruse linage. sent12: there is something such that the fact that the fact that it is a Nancere and fruitful is true is not correct. sent13: something is both not an aunt and not a ONI if the fact that it does bar is not false. sent14: there is something such that that it is tegular and it is incontestable is false. sent15: if something does not brief librarian the filature is a barring. sent16: the fact that the plat does not peruse linage is not wrong if the splitter does not peruse linage. sent17: the superhet briefs librarian. sent18: if there exists something such that the fact that it is both a carob and a selectman is false then the splitter does not peruse linage. sent19: the piroplasm does brief splitter. sent20: if the ripcord peruses quirt and is not acceptive the roadster is not acceptive. sent21: if the piroplasm is not an aunt and it is not a kind of a ONI the filature is a ONI. ; $proof$ = 
__UNKNOWN__