the fact that the paleontologist is a reassignment that redecorates Carpodacus does not hold.
sent1: the rat is a rima or is dimensional or both if there exists something such that it is dimensional. sent2: the fact that the paleontologist is not a rima is correct if the rat either is a rima or is dimensional or both. sent3: something is a judgeship and/or it is a broom if it is not a scouring. sent4: that the shotgun does not fall specimen but it is philanthropic does not hold if the honeysucker is Viennese. sent5: the ink is not unoriginal. sent6: the fact that the shotgun is philanthropic and it does redecorate Carpodacus does not hold. sent7: the specimen is a inverter but it is not a kind of a scouring. sent8: the honeysucker is Viennese if the choler is a kind of a judgeship. sent9: the choler is not a scouring if the specimen is a kind of a inverter but it is not a scouring. sent10: there exists something such that it is a palimony. sent11: if that the ink is not unoriginal is true then it is dimensional. sent12: if there exists something such that that it is directional is right that that the paleontologist is a kind of a reassignment that does redecorate Carpodacus does not hold is correct. sent13: there exists something such that it is a kind of a reassignment. sent14: the paleontologist is philanthropic. sent15: if there is something such that it does redecorate Carpodacus the fact that the shotgun is directional and is a kind of a reassignment is incorrect. sent16: the shotgun is a kind of a bronchoscope but it does not redecorate cock-a-leekie. sent17: something that is not a rima is not directional and/or is not a kind of a palimony. sent18: if either something is not directional or it is not a palimony or both it is a reassignment. sent19: if there is something such that that it is a palimony is right the shotgun is directional but it is not philanthropic. sent20: if there exists something such that it is a palimony then the shotgun is not philanthropic. sent21: the shotgun is not philanthropic.
sent10 & sent19 -> int1: the fact that the shotgun is both directional and not philanthropic hold.; int1 -> int2: the shotgun is directional.; int2 -> int3: there is something such that the fact that it is directional is right.; int3 & sent12 -> hypothesis;
the paleontologist is a kind of a reassignment that redecorates Carpodacus.
sent18 -> int4: the paleontologist is a reassignment if it is non-directional or is not a palimony or both.; sent17 -> int5: if the fact that the paleontologist is not a rima is not incorrect it is not directional and/or it is not a kind of a palimony.; sent11 & sent5 -> int6: the ink is dimensional.; int6 -> int7: something is dimensional.; int7 & sent1 -> int8: the rat is a rima and/or it is dimensional.; sent2 & int8 -> int9: the paleontologist is not a kind of a rima.; int5 & int9 -> int10: the paleontologist is not directional and/or is not a kind of a palimony.; int4 & int10 -> int11: the fact that the paleontologist is a reassignment is not wrong.; sent3 -> int12: if the choler is not a kind of a scouring then either it is a judgeship or it is a broom or both.; sent9 & sent7 -> int13: the choler is not a kind of a scouring.; int12 & int13 -> int14: the choler is a judgeship and/or it brooms.;
$hypothesis$ = the fact that the paleontologist is a reassignment that redecorates Carpodacus does not hold. ; $context$ = sent1: the rat is a rima or is dimensional or both if there exists something such that it is dimensional. sent2: the fact that the paleontologist is not a rima is correct if the rat either is a rima or is dimensional or both. sent3: something is a judgeship and/or it is a broom if it is not a scouring. sent4: that the shotgun does not fall specimen but it is philanthropic does not hold if the honeysucker is Viennese. sent5: the ink is not unoriginal. sent6: the fact that the shotgun is philanthropic and it does redecorate Carpodacus does not hold. sent7: the specimen is a inverter but it is not a kind of a scouring. sent8: the honeysucker is Viennese if the choler is a kind of a judgeship. sent9: the choler is not a scouring if the specimen is a kind of a inverter but it is not a scouring. sent10: there exists something such that it is a palimony. sent11: if that the ink is not unoriginal is true then it is dimensional. sent12: if there exists something such that that it is directional is right that that the paleontologist is a kind of a reassignment that does redecorate Carpodacus does not hold is correct. sent13: there exists something such that it is a kind of a reassignment. sent14: the paleontologist is philanthropic. sent15: if there is something such that it does redecorate Carpodacus the fact that the shotgun is directional and is a kind of a reassignment is incorrect. sent16: the shotgun is a kind of a bronchoscope but it does not redecorate cock-a-leekie. sent17: something that is not a rima is not directional and/or is not a kind of a palimony. sent18: if either something is not directional or it is not a palimony or both it is a reassignment. sent19: if there is something such that that it is a palimony is right the shotgun is directional but it is not philanthropic. sent20: if there exists something such that it is a palimony then the shotgun is not philanthropic. sent21: the shotgun is not philanthropic. ; $proof$ = 
sent10 & sent19 -> int1: the fact that the shotgun is both directional and not philanthropic hold.; int1 -> int2: the shotgun is directional.; int2 -> int3: there is something such that the fact that it is directional is right.; int3 & sent12 -> hypothesis; __PROVED__