that the phlebotomist is not a prick and does equalize is false.
sent1: the base pricks. sent2: if the base pricks and it is a flashcard then the phlebotomist does not pricks. sent3: if something compensates Huntington and is not a Monod it is not a flashcard. sent4: there exists something such that the fact that it does forecast gum-lac and it is a kind of a Pacific does not hold. sent5: there is something such that that it is not a revision and it does crust Soddy is not correct. sent6: something is not a kind of a Colossae and is a kind of a masquerader. sent7: there is something such that the fact that it does not compensate Crotalidae and it is trophoblastic is false. sent8: the phlebotomist is not a prick if it is a plumb but not a flashcard. sent9: the dromaeosaur is a flashcard if the fact that the phlebotomist is a plumb is true. sent10: the dromaeosaur is a harbor. sent11: something is presidential if it is not a dunlin and it is a powwow. sent12: the deep-freeze is a kind of a Monod. sent13: if the dromaeosaur is a plumb the phlebotomist harbors. sent14: the base is a Monod and it is a flashcard. sent15: if there is something such that that the fact that it is not a revision and it does crust Soddy is right does not hold then the dromaeosaur is not a Monod. sent16: the fact that the phlebotomist does prick and it does equalize is wrong. sent17: there is something such that that it does equalize and is a harbor is wrong. sent18: the toucan is a revision if the fact that it is a semicentennial hold. sent19: the dromaeosaur does not equalize. sent20: there is something such that that it is a harbor and it equalizes does not hold. sent21: something is not a kind of a revision but it does crust Soddy. sent22: the dromaeosaur compensates Huntington if it does harbor. sent23: the aftereffect pricks. sent24: if something that is not a kind of a prick equalizes it is a plumb. sent25: if the dromaeosaur does harbor and is not a kind of a plumb then it is not a kind of a prick. sent26: there exists something such that that it forecasts limestone and crusts aftereffect is not true.
sent24 -> int1: the phlebotomist is a plumb if it is not a prick and equalizes.; void -> assump1: Let's assume that the phlebotomist is not a prick but it equalizes.; int1 & assump1 -> int2: the phlebotomist plumbs.; int2 & sent9 -> int3: the dromaeosaur is a flashcard.; sent3 -> int4: the dromaeosaur is not a flashcard if it does compensate Huntington and is not a Monod.; sent22 & sent10 -> int5: the dromaeosaur does compensate Huntington.; sent5 & sent15 -> int6: the dromaeosaur is not a Monod.; int5 & int6 -> int7: the dromaeosaur compensates Huntington but it is not a Monod.; int4 & int7 -> int8: the dromaeosaur is not a kind of a flashcard.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis;
the phlebotomist does not prick and does equalize.
sent14 -> int10: the base is a flashcard.; sent1 & int10 -> int11: the base is a kind of a prick that is a flashcard.; sent2 & int11 -> int12: the phlebotomist is not a prick.;
$hypothesis$ = that the phlebotomist is not a prick and does equalize is false. ; $context$ = sent1: the base pricks. sent2: if the base pricks and it is a flashcard then the phlebotomist does not pricks. sent3: if something compensates Huntington and is not a Monod it is not a flashcard. sent4: there exists something such that the fact that it does forecast gum-lac and it is a kind of a Pacific does not hold. sent5: there is something such that that it is not a revision and it does crust Soddy is not correct. sent6: something is not a kind of a Colossae and is a kind of a masquerader. sent7: there is something such that the fact that it does not compensate Crotalidae and it is trophoblastic is false. sent8: the phlebotomist is not a prick if it is a plumb but not a flashcard. sent9: the dromaeosaur is a flashcard if the fact that the phlebotomist is a plumb is true. sent10: the dromaeosaur is a harbor. sent11: something is presidential if it is not a dunlin and it is a powwow. sent12: the deep-freeze is a kind of a Monod. sent13: if the dromaeosaur is a plumb the phlebotomist harbors. sent14: the base is a Monod and it is a flashcard. sent15: if there is something such that that the fact that it is not a revision and it does crust Soddy is right does not hold then the dromaeosaur is not a Monod. sent16: the fact that the phlebotomist does prick and it does equalize is wrong. sent17: there is something such that that it does equalize and is a harbor is wrong. sent18: the toucan is a revision if the fact that it is a semicentennial hold. sent19: the dromaeosaur does not equalize. sent20: there is something such that that it is a harbor and it equalizes does not hold. sent21: something is not a kind of a revision but it does crust Soddy. sent22: the dromaeosaur compensates Huntington if it does harbor. sent23: the aftereffect pricks. sent24: if something that is not a kind of a prick equalizes it is a plumb. sent25: if the dromaeosaur does harbor and is not a kind of a plumb then it is not a kind of a prick. sent26: there exists something such that that it forecasts limestone and crusts aftereffect is not true. ; $proof$ = 
sent24 -> int1: the phlebotomist is a plumb if it is not a prick and equalizes.; void -> assump1: Let's assume that the phlebotomist is not a prick but it equalizes.; int1 & assump1 -> int2: the phlebotomist plumbs.; int2 & sent9 -> int3: the dromaeosaur is a flashcard.; sent3 -> int4: the dromaeosaur is not a flashcard if it does compensate Huntington and is not a Monod.; sent22 & sent10 -> int5: the dromaeosaur does compensate Huntington.; sent5 & sent15 -> int6: the dromaeosaur is not a Monod.; int5 & int6 -> int7: the dromaeosaur compensates Huntington but it is not a Monod.; int4 & int7 -> int8: the dromaeosaur is not a kind of a flashcard.; int3 & int8 -> int9: this is contradiction.; [assump1] & int9 -> hypothesis; __PROVED__