the seventy-eight runs devising and it is centrosomic.
sent1: the dinosaur represses. sent2: something is centrosomic if the fact that it is not centrosomic and does service Tyne is not right. sent3: if that the seventy-eight is not centrosomic and it is not a downtown is true it is not incompetent. sent4: that the oxidant is steadying but it is not polymorphemic is not correct. sent5: something services Tyne if it does compel disordered. sent6: the fact that the seventy-eight is centrosomic and does service Tyne is not correct. sent7: if the dinosaur does not repress that the seventy-eight does run devising and it is centrosomic is incorrect. sent8: the seventy-eight runs devising if it does repress. sent9: that if that the seventy-eight is not a Phagun and it is not centrosomic does not hold the dinosaur represses is not false. sent10: The disordered does compel cupola. sent11: if that something does not repress and is a kind of an incompetent does not hold then it does repress. sent12: that the cupola is both not alterable and not a treated is incorrect. sent13: the cupola does compel disordered. sent14: that the dossal does not run devising and it is not a Jenny is not true. sent15: the dinosaur is not a kind of a Phagun if it is not downtown and it is not an incompetent. sent16: the seventy-eight represses if the dinosaur is not non-downtown. sent17: the dinosaur services Jespersen and it is a kind of a paramilitary. sent18: the dinosaur does not service daiquiri and it is not bold. sent19: if the cupola compels disordered the dinosaur is a Phagun. sent20: the fact that the seventy-eight is not centrosomic and does service Tyne is incorrect.
void -> assump1: Let's assume that the dinosaur is not a downtown and it is not an incompetent.; sent15 & assump1 -> int1: the dinosaur is not a Phagun.; sent19 & sent13 -> int2: that the dinosaur is a kind of a Phagun hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the dinosaur is not a downtown and it is not an incompetent does not hold.; sent2 -> int5: if that the seventy-eight is not centrosomic but it does service Tyne is false then it is centrosomic.; int5 & sent20 -> int6: the seventy-eight is not non-centrosomic.;
that the seventy-eight does run devising and is centrosomic is not correct.
sent5 -> int7: the dinosaur services Tyne if it does compel disordered.; sent12 -> int8: there is something such that that it is a kind of unalterable thing that is not a treated is not right.;
$hypothesis$ = the seventy-eight runs devising and it is centrosomic. ; $context$ = sent1: the dinosaur represses. sent2: something is centrosomic if the fact that it is not centrosomic and does service Tyne is not right. sent3: if that the seventy-eight is not centrosomic and it is not a downtown is true it is not incompetent. sent4: that the oxidant is steadying but it is not polymorphemic is not correct. sent5: something services Tyne if it does compel disordered. sent6: the fact that the seventy-eight is centrosomic and does service Tyne is not correct. sent7: if the dinosaur does not repress that the seventy-eight does run devising and it is centrosomic is incorrect. sent8: the seventy-eight runs devising if it does repress. sent9: that if that the seventy-eight is not a Phagun and it is not centrosomic does not hold the dinosaur represses is not false. sent10: The disordered does compel cupola. sent11: if that something does not repress and is a kind of an incompetent does not hold then it does repress. sent12: that the cupola is both not alterable and not a treated is incorrect. sent13: the cupola does compel disordered. sent14: that the dossal does not run devising and it is not a Jenny is not true. sent15: the dinosaur is not a kind of a Phagun if it is not downtown and it is not an incompetent. sent16: the seventy-eight represses if the dinosaur is not non-downtown. sent17: the dinosaur services Jespersen and it is a kind of a paramilitary. sent18: the dinosaur does not service daiquiri and it is not bold. sent19: if the cupola compels disordered the dinosaur is a Phagun. sent20: the fact that the seventy-eight is not centrosomic and does service Tyne is incorrect. ; $proof$ = 
void -> assump1: Let's assume that the dinosaur is not a downtown and it is not an incompetent.; sent15 & assump1 -> int1: the dinosaur is not a Phagun.; sent19 & sent13 -> int2: that the dinosaur is a kind of a Phagun hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the dinosaur is not a downtown and it is not an incompetent does not hold.; sent2 -> int5: if that the seventy-eight is not centrosomic but it does service Tyne is false then it is centrosomic.; int5 & sent20 -> int6: the seventy-eight is not non-centrosomic.; __UNKNOWN__