the used-car does not transfer vestiture.
sent1: the thiamine does not sheathe probenecid but it does sheathe dewdrop if it is not a bindery. sent2: the fact that if there exists something such that the fact that it does sheathe Doric and it is not a Photostat is not right the gnocchi does not transfer ethnocentrism is right. sent3: the fact that the gurnard is Einsteinian but it is not a marking does not hold. sent4: the used-car transfers vestiture if the thiamine is auxetic. sent5: if the thiamine sheathes probenecid and it does sheathe dewdrop then it is not a boondoggle. sent6: the thiamine does not boondoggle if it does not sheathe probenecid and it sheathes dewdrop. sent7: the fact that the gurnard is not Einsteinian and it does not mark does not hold. sent8: if the fact that the thiamine does transfer ethnocentrism and sheathes Doric does not hold the fact that it is not a kind of a Photostat hold. sent9: the used-car is not a Photostat. sent10: if that the gnocchi does transfer vestiture and is not a boondoggle is not false then the thiamine does not transfer vestiture. sent11: if the thiamine does not transfer vestiture and is a kind of a bindery the gurnard transfer vestiture. sent12: if the gurnard is Einsteinian the thiamine is not a bindery. sent13: if the thiamine is not a boondoggle that it does transfer ethnocentrism and it does sheathe Doric does not hold. sent14: the thiamine is auxetic if it is not a Photostat. sent15: something does transfer vestiture but it is not a boondoggle if it does not transfer ethnocentrism. sent16: the thiamine is not a kind of a Photostat if it does not transfer ethnocentrism. sent17: the Africander is not Einsteinian. sent18: the thiamine is not a kind of a bindery if that the gurnard is not Einsteinian and it is not a kind of a marking is not true. sent19: the gurnard is not auxetic but it does boondoggle if it is not Einsteinian. sent20: the fact that the summit sheathes Doric and is not a Photostat is not correct. sent21: if the thiamine is not a bindery it does not sheathe probenecid. sent22: the thiamine does not sheathe probenecid. sent23: the fact that the thiamine does transfer vestiture and it is a Photostat does not hold. sent24: the fact that the thiamine is not a go-ahead is true. sent25: the used-car does not transfer vestiture if the gurnard transfer vestiture.
sent18 & sent7 -> int1: the thiamine is not a kind of a bindery.; int1 & sent1 -> int2: the thiamine does not sheathe probenecid and sheathes dewdrop.; int2 & sent6 -> int3: the thiamine is not a kind of a boondoggle.; int3 & sent13 -> int4: the fact that the thiamine transfers ethnocentrism and it sheathes Doric is not true.; int4 & sent8 -> int5: the thiamine is not a Photostat.; int5 & sent14 -> int6: the thiamine is auxetic.; int6 & sent4 -> hypothesis;
the used-car does not transfer vestiture.
sent15 -> int7: if the gnocchi does not transfer ethnocentrism then it does transfer vestiture and it is not a kind of a boondoggle.; sent20 -> int8: there exists something such that that it sheathes Doric and it is not a Photostat does not hold.; int8 & sent2 -> int9: the gnocchi does not transfer ethnocentrism.; int7 & int9 -> int10: the gnocchi transfers vestiture but it is not a boondoggle.; sent10 & int10 -> int11: the thiamine does not transfer vestiture.;
$hypothesis$ = the used-car does not transfer vestiture. ; $context$ = sent1: the thiamine does not sheathe probenecid but it does sheathe dewdrop if it is not a bindery. sent2: the fact that if there exists something such that the fact that it does sheathe Doric and it is not a Photostat is not right the gnocchi does not transfer ethnocentrism is right. sent3: the fact that the gurnard is Einsteinian but it is not a marking does not hold. sent4: the used-car transfers vestiture if the thiamine is auxetic. sent5: if the thiamine sheathes probenecid and it does sheathe dewdrop then it is not a boondoggle. sent6: the thiamine does not boondoggle if it does not sheathe probenecid and it sheathes dewdrop. sent7: the fact that the gurnard is not Einsteinian and it does not mark does not hold. sent8: if the fact that the thiamine does transfer ethnocentrism and sheathes Doric does not hold the fact that it is not a kind of a Photostat hold. sent9: the used-car is not a Photostat. sent10: if that the gnocchi does transfer vestiture and is not a boondoggle is not false then the thiamine does not transfer vestiture. sent11: if the thiamine does not transfer vestiture and is a kind of a bindery the gurnard transfer vestiture. sent12: if the gurnard is Einsteinian the thiamine is not a bindery. sent13: if the thiamine is not a boondoggle that it does transfer ethnocentrism and it does sheathe Doric does not hold. sent14: the thiamine is auxetic if it is not a Photostat. sent15: something does transfer vestiture but it is not a boondoggle if it does not transfer ethnocentrism. sent16: the thiamine is not a kind of a Photostat if it does not transfer ethnocentrism. sent17: the Africander is not Einsteinian. sent18: the thiamine is not a kind of a bindery if that the gurnard is not Einsteinian and it is not a kind of a marking is not true. sent19: the gurnard is not auxetic but it does boondoggle if it is not Einsteinian. sent20: the fact that the summit sheathes Doric and is not a Photostat is not correct. sent21: if the thiamine is not a bindery it does not sheathe probenecid. sent22: the thiamine does not sheathe probenecid. sent23: the fact that the thiamine does transfer vestiture and it is a Photostat does not hold. sent24: the fact that the thiamine is not a go-ahead is true. sent25: the used-car does not transfer vestiture if the gurnard transfer vestiture. ; $proof$ = 
sent18 & sent7 -> int1: the thiamine is not a kind of a bindery.; int1 & sent1 -> int2: the thiamine does not sheathe probenecid and sheathes dewdrop.; int2 & sent6 -> int3: the thiamine is not a kind of a boondoggle.; int3 & sent13 -> int4: the fact that the thiamine transfers ethnocentrism and it sheathes Doric is not true.; int4 & sent8 -> int5: the thiamine is not a Photostat.; int5 & sent14 -> int6: the thiamine is auxetic.; int6 & sent4 -> hypothesis; __DISPROVED__