the turnpike is not a kind of a Strachey.
sent1: the herrerasaur is not a toadshade or is not a kind of a trichopteran or both. sent2: if there exists something such that that it is a burglary and pyretic does not hold the yawl is not a kind of a cooperative. sent3: something is a kind of a burglary and is pyretic. sent4: the turnpike is not a Strachey if it does reposit sandpiper. sent5: if the turnpike does not horripilate parvovirus the fact that the herrerasaur is a Midi and it horripilate parvovirus hold. sent6: either the herrerasaur is not a toadshade or it is a kind of a trichopteran or both. sent7: something is not a kind of a Strachey if it either does reposit sandpiper or is honorable or both. sent8: if there is something such that it is not pyretic then the yawl is not cooperative. sent9: if the herrerasaur is a Midi then the fact that it is not a cooperative or it is not a kind of a burglary or both is not incorrect. sent10: that the Wykehamist is a burglary and pyretic is not correct if the herrerasaur does not horripilate parvovirus. sent11: something is a burglary if it is a toadshade. sent12: the herrerasaur is a toadshade or it is not a trichopteran or both. sent13: something that is not uncooperative is honorable. sent14: something is pyretic if it is uncooperative or it is not a burglary or both. sent15: the herrerasaur is a Midi if the Wykehamist is a Midi. sent16: the turnpike is a Midi and it is a cooperative if the yawl is not a kind of a cooperative.
sent13 -> int1: the fact that if the turnpike is a kind of the cooperative then the turnpike is honorable is not wrong.; sent7 -> int2: the turnpike is not a Strachey if it reposits sandpiper or it is honorable or both.;
the turnpike is a Strachey.
sent14 -> int3: if the herrerasaur either is not cooperative or is not a kind of a burglary or both it is pyretic.;
$hypothesis$ = the turnpike is not a kind of a Strachey. ; $context$ = sent1: the herrerasaur is not a toadshade or is not a kind of a trichopteran or both. sent2: if there exists something such that that it is a burglary and pyretic does not hold the yawl is not a kind of a cooperative. sent3: something is a kind of a burglary and is pyretic. sent4: the turnpike is not a Strachey if it does reposit sandpiper. sent5: if the turnpike does not horripilate parvovirus the fact that the herrerasaur is a Midi and it horripilate parvovirus hold. sent6: either the herrerasaur is not a toadshade or it is a kind of a trichopteran or both. sent7: something is not a kind of a Strachey if it either does reposit sandpiper or is honorable or both. sent8: if there is something such that it is not pyretic then the yawl is not cooperative. sent9: if the herrerasaur is a Midi then the fact that it is not a cooperative or it is not a kind of a burglary or both is not incorrect. sent10: that the Wykehamist is a burglary and pyretic is not correct if the herrerasaur does not horripilate parvovirus. sent11: something is a burglary if it is a toadshade. sent12: the herrerasaur is a toadshade or it is not a trichopteran or both. sent13: something that is not uncooperative is honorable. sent14: something is pyretic if it is uncooperative or it is not a burglary or both. sent15: the herrerasaur is a Midi if the Wykehamist is a Midi. sent16: the turnpike is a Midi and it is a cooperative if the yawl is not a kind of a cooperative. ; $proof$ = 
sent13 -> int1: the fact that if the turnpike is a kind of the cooperative then the turnpike is honorable is not wrong.; sent7 -> int2: the turnpike is not a Strachey if it reposits sandpiper or it is honorable or both.; __UNKNOWN__