the birdie is a kind of a suttee or it does overturn Faroese or both.
sent1: the Mogul is dicarboxylic if it is a kind of a maneuver. sent2: if the choreographer does not overturn anisotropy the grackle is not hemiparasitic and is not bathymetric. sent3: the savory is not a polytechnic. sent4: if the fact that the fact that the grackle does not overturn Faroese and it is not a kind of a polytechnic is not wrong is not true then the birdie is not bathymetric. sent5: the fact that the grackle is not bathymetric and it is not a maneuver does not hold if it is not hemiparasitic. sent6: the choreographer does overturn anisotropy. sent7: if that the birdie is not a kind of a suttee and it does not overturn anisotropy is wrong the grackle is not a kind of a polytechnic. sent8: if the birdie is a kind of a polytechnic then it is a suttee. sent9: the fact that the burdock is not a criticality and is a kind of a polytechnic does not hold. sent10: the grackle is dicarboxylic. sent11: if the fact that the grackle is non-bathymetric and it is not a maneuver does not hold then the fact that it overturns anisotropy is not wrong. sent12: if the Mogul is not a suttee the fact that it is not a criticality and it is not a Jowett is false. sent13: the birdie is a polytechnic if the choreographer is a criticality. sent14: the fact that the grackle is not a suttee is not correct. sent15: the birdie does maneuver if the grackle does overturn Faroese. sent16: the grackle is a kind of a maneuver if that the Mogul is not bathymetric is wrong. sent17: the Mogul is a kind of a criticality. sent18: the grackle does overturn Faroese and/or it is bathymetric. sent19: the choreographer is a criticality if the grackle does overturn anisotropy. sent20: that the Mogul is not a kind of a Jowett and is not dicarboxylic does not hold.
the fact that either the birdie is a suttee or it overturns Faroese or both is not correct.
sent9 -> int1: there exists something such that that it is not a kind of a criticality and it is a polytechnic is not correct.;
$hypothesis$ = the birdie is a kind of a suttee or it does overturn Faroese or both. ; $context$ = sent1: the Mogul is dicarboxylic if it is a kind of a maneuver. sent2: if the choreographer does not overturn anisotropy the grackle is not hemiparasitic and is not bathymetric. sent3: the savory is not a polytechnic. sent4: if the fact that the fact that the grackle does not overturn Faroese and it is not a kind of a polytechnic is not wrong is not true then the birdie is not bathymetric. sent5: the fact that the grackle is not bathymetric and it is not a maneuver does not hold if it is not hemiparasitic. sent6: the choreographer does overturn anisotropy. sent7: if that the birdie is not a kind of a suttee and it does not overturn anisotropy is wrong the grackle is not a kind of a polytechnic. sent8: if the birdie is a kind of a polytechnic then it is a suttee. sent9: the fact that the burdock is not a criticality and is a kind of a polytechnic does not hold. sent10: the grackle is dicarboxylic. sent11: if the fact that the grackle is non-bathymetric and it is not a maneuver does not hold then the fact that it overturns anisotropy is not wrong. sent12: if the Mogul is not a suttee the fact that it is not a criticality and it is not a Jowett is false. sent13: the birdie is a polytechnic if the choreographer is a criticality. sent14: the fact that the grackle is not a suttee is not correct. sent15: the birdie does maneuver if the grackle does overturn Faroese. sent16: the grackle is a kind of a maneuver if that the Mogul is not bathymetric is wrong. sent17: the Mogul is a kind of a criticality. sent18: the grackle does overturn Faroese and/or it is bathymetric. sent19: the choreographer is a criticality if the grackle does overturn anisotropy. sent20: that the Mogul is not a kind of a Jowett and is not dicarboxylic does not hold. ; $proof$ = 
__UNKNOWN__