the otterhound is a kind of a fishhook.
sent1: if the shipbuilder is gladiatorial the gravure does not reflectorize leopardess. sent2: that the barbell ejaculates and it is a Planck does not hold. sent3: the barbell does acuminate. sent4: there exists nothing such that it is not a caprice but a Planck. sent5: something does not ejaculate but it is a kind of a Planck. sent6: the gravure does not reflectorize leopardess if either the shipbuilder is a trochee or it is gladiatorial or both. sent7: there is something such that the fact that it does ejaculate and it is a Planck is false. sent8: the otterhound is a fishhook if the gravure is not a caprice and it does not reflectorize leopardess. sent9: if the barbell does not reflectorize leopardess and it does not acuminate the gravure is a caprice. sent10: the otterhound is not a kind of a fishhook if the decarboxylase is a kind of a fishhook and is a trochee. sent11: the fact that something is a kind of gladiatorial thing that is not noncaloric does not hold if it reflectorizes leopardess. sent12: if there is something such that that it does not ejaculate and it is a kind of a Planck is incorrect the fact that the gravure is not a kind of a caprice is not incorrect. sent13: the shipbuilder is a trochee if the decarboxylase is not noncaloric. sent14: the fact that the barbell ejaculates and is a Planck is wrong if it acuminates. sent15: the barbell does not reflectorize leopardess and does not ejaculate. sent16: the gravure is not a caprice if something ejaculates. sent17: if the afferent does not draw Ziphiidae then the decarboxylase is not noncaloric. sent18: there exists nothing such that it does draw Ziphiidae and is catoptric. sent19: the decarboxylase does reflectorize leopardess if there exists something such that that it is both not a caprice and a Planck is not right. sent20: the shipbuilder acuminates. sent21: if the fact that something is not non-gladiatorial but it is not noncaloric is incorrect then it is a fishhook. sent22: if that the afferent does draw Ziphiidae and it is catoptric is not correct the decarboxylase is not noncaloric. sent23: the gravure does not acuminate and it is not shelflike if the barbell does not roast. sent24: if something that does not acuminate is not shelflike then it ejaculates. sent25: the fact that the barbell does not ejaculate but it is a kind of a Planck is wrong if it does acuminate.
sent18 -> int1: that the afferent draws Ziphiidae and is catoptric is not correct.; int1 & sent22 -> int2: the decarboxylase is not noncaloric.; int2 & sent13 -> int3: the shipbuilder is a kind of a trochee.; int3 -> int4: the shipbuilder is a trochee and/or it is gladiatorial.; int4 & sent6 -> int5: the fact that the gravure does not reflectorize leopardess is true.; sent25 & sent3 -> int6: the fact that the barbell does not ejaculate and is a Planck is not correct.; int6 -> int7: there is something such that the fact that it does not ejaculate and it is a Planck is incorrect.; int7 & sent12 -> int8: the gravure is not a caprice.; int5 & int8 -> int9: the gravure is not a caprice and does not reflectorize leopardess.; int9 & sent8 -> hypothesis;
the otterhound is not a fishhook.
sent21 -> int10: the decarboxylase is a fishhook if that it is both gladiatorial and not noncaloric is not true.; sent11 -> int11: that the decarboxylase is both gladiatorial and not noncaloric is not correct if that it does reflectorize leopardess hold.; sent4 -> int12: that the shipbuilder is not a caprice but it is a kind of a Planck is not right.; int12 -> int13: there is something such that the fact that it is not a kind of a caprice and is a Planck is not true.; int13 & sent19 -> int14: the decarboxylase does reflectorize leopardess.; int11 & int14 -> int15: the fact that the decarboxylase is gladiatorial but it is not noncaloric is false.; int10 & int15 -> int16: the decarboxylase is a fishhook.; sent24 -> int17: if the gravure does not acuminate and it is not shelflike that it ejaculates is correct.;
$hypothesis$ = the otterhound is a kind of a fishhook. ; $context$ = sent1: if the shipbuilder is gladiatorial the gravure does not reflectorize leopardess. sent2: that the barbell ejaculates and it is a Planck does not hold. sent3: the barbell does acuminate. sent4: there exists nothing such that it is not a caprice but a Planck. sent5: something does not ejaculate but it is a kind of a Planck. sent6: the gravure does not reflectorize leopardess if either the shipbuilder is a trochee or it is gladiatorial or both. sent7: there is something such that the fact that it does ejaculate and it is a Planck is false. sent8: the otterhound is a fishhook if the gravure is not a caprice and it does not reflectorize leopardess. sent9: if the barbell does not reflectorize leopardess and it does not acuminate the gravure is a caprice. sent10: the otterhound is not a kind of a fishhook if the decarboxylase is a kind of a fishhook and is a trochee. sent11: the fact that something is a kind of gladiatorial thing that is not noncaloric does not hold if it reflectorizes leopardess. sent12: if there is something such that that it does not ejaculate and it is a kind of a Planck is incorrect the fact that the gravure is not a kind of a caprice is not incorrect. sent13: the shipbuilder is a trochee if the decarboxylase is not noncaloric. sent14: the fact that the barbell ejaculates and is a Planck is wrong if it acuminates. sent15: the barbell does not reflectorize leopardess and does not ejaculate. sent16: the gravure is not a caprice if something ejaculates. sent17: if the afferent does not draw Ziphiidae then the decarboxylase is not noncaloric. sent18: there exists nothing such that it does draw Ziphiidae and is catoptric. sent19: the decarboxylase does reflectorize leopardess if there exists something such that that it is both not a caprice and a Planck is not right. sent20: the shipbuilder acuminates. sent21: if the fact that something is not non-gladiatorial but it is not noncaloric is incorrect then it is a fishhook. sent22: if that the afferent does draw Ziphiidae and it is catoptric is not correct the decarboxylase is not noncaloric. sent23: the gravure does not acuminate and it is not shelflike if the barbell does not roast. sent24: if something that does not acuminate is not shelflike then it ejaculates. sent25: the fact that the barbell does not ejaculate but it is a kind of a Planck is wrong if it does acuminate. ; $proof$ = 
sent18 -> int1: that the afferent draws Ziphiidae and is catoptric is not correct.; int1 & sent22 -> int2: the decarboxylase is not noncaloric.; int2 & sent13 -> int3: the shipbuilder is a kind of a trochee.; int3 -> int4: the shipbuilder is a trochee and/or it is gladiatorial.; int4 & sent6 -> int5: the fact that the gravure does not reflectorize leopardess is true.; sent25 & sent3 -> int6: the fact that the barbell does not ejaculate and is a Planck is not correct.; int6 -> int7: there is something such that the fact that it does not ejaculate and it is a Planck is incorrect.; int7 & sent12 -> int8: the gravure is not a caprice.; int5 & int8 -> int9: the gravure is not a caprice and does not reflectorize leopardess.; int9 & sent8 -> hypothesis; __PROVED__