the distaff is not non-stoic and it is a Tarbell.
sent1: the sandpaper is both not a lunching and not a coal. sent2: something is not a kind of a stair-rod and it is not a flange. sent3: if something is not non-esoteric or it is not discriminating or both then it is not a Tarbell. sent4: something is not a stair-rod but it is a flange. sent5: the distaff is a kind of a Tarbell. sent6: there exists something such that the fact that it is not a kind of a stair-rod is true. sent7: something is a kind of a stair-rod that is not a kind of a flange. sent8: the falsie is a Laurel and it is a kind of a neoclassicist. sent9: if the sandpaper is both not a lunching and not a coal then it does not interpret flitch. sent10: the distaff is stoic if the fact that the falsie discriminates is correct. sent11: the fact that the fact that the falsie is a saponin that does not subdivide roux is not incorrect is false if there exists something such that it is not a kind of a saponin. sent12: the distaff is a ormer and it is not non-proteinaceous. sent13: the falsie is esoteric if that it is a kind of a saponin and it does not subdivide roux is not right. sent14: if something does not interpret flitch it spaces disbeliever and does interpret gastrectomy. sent15: the audiocassette is unreasonable and it subdivides isthmus. sent16: if the sandpaper spaces disbeliever and does interpret gastrectomy the stocker is not a kind of a saponin. sent17: there exists something such that it is not a kind of a flange.
the fact that the distaff is stoic and it is a Tarbell does not hold.
sent3 -> int1: if either the falsie is esoteric or it does not discriminate or both then it is not a Tarbell.; sent14 -> int2: the sandpaper does space disbeliever and it does interpret gastrectomy if it does not interpret flitch.; sent9 & sent1 -> int3: the sandpaper does not interpret flitch.; int2 & int3 -> int4: the sandpaper spaces disbeliever and it does interpret gastrectomy.; sent16 & int4 -> int5: the stocker is not a saponin.; int5 -> int6: there is something such that it is not a saponin.; int6 & sent11 -> int7: the fact that the falsie is a saponin and does not subdivide roux is not correct.; sent13 & int7 -> int8: the falsie is esoteric.; int8 -> int9: the falsie is esoteric and/or it is not discriminating.; int1 & int9 -> int10: the falsie is not a Tarbell.; int10 -> int11: something is not a kind of a Tarbell.;
$hypothesis$ = the distaff is not non-stoic and it is a Tarbell. ; $context$ = sent1: the sandpaper is both not a lunching and not a coal. sent2: something is not a kind of a stair-rod and it is not a flange. sent3: if something is not non-esoteric or it is not discriminating or both then it is not a Tarbell. sent4: something is not a stair-rod but it is a flange. sent5: the distaff is a kind of a Tarbell. sent6: there exists something such that the fact that it is not a kind of a stair-rod is true. sent7: something is a kind of a stair-rod that is not a kind of a flange. sent8: the falsie is a Laurel and it is a kind of a neoclassicist. sent9: if the sandpaper is both not a lunching and not a coal then it does not interpret flitch. sent10: the distaff is stoic if the fact that the falsie discriminates is correct. sent11: the fact that the fact that the falsie is a saponin that does not subdivide roux is not incorrect is false if there exists something such that it is not a kind of a saponin. sent12: the distaff is a ormer and it is not non-proteinaceous. sent13: the falsie is esoteric if that it is a kind of a saponin and it does not subdivide roux is not right. sent14: if something does not interpret flitch it spaces disbeliever and does interpret gastrectomy. sent15: the audiocassette is unreasonable and it subdivides isthmus. sent16: if the sandpaper spaces disbeliever and does interpret gastrectomy the stocker is not a kind of a saponin. sent17: there exists something such that it is not a kind of a flange. ; $proof$ = 
__UNKNOWN__