that there is something such that it is both a pining and a echinococcus is wrong.
sent1: the glutethimide is antheridial if the acromion is Malaysian. sent2: something services Scranton if it is antheridial. sent3: the acromion is unintelligent if the glutethimide is not non-pentangular. sent4: if something services Scranton then it is a pining. sent5: if something does reface Baptisia and services gene the glutethimide is a echinococcus. sent6: there is something such that it is a echinococcus. sent7: everything is pentangular. sent8: if the fiddlestick is pentangular the acromion is a Malaysian. sent9: the acromion molds. sent10: something refaces Baptisia and services gene.
sent7 -> int1: the fiddlestick is pentangular.; int1 & sent8 -> int2: the acromion is a Malaysian.; int2 & sent1 -> int3: the glutethimide is antheridial.; sent2 -> int4: if the fact that the glutethimide is not non-antheridial is right it services Scranton.; int3 & int4 -> int5: the glutethimide does service Scranton.; sent4 -> int6: if the glutethimide does service Scranton the fact that it is a pining is not wrong.; int5 & int6 -> int7: the glutethimide is a pining.; sent10 & sent5 -> int8: that the glutethimide is a echinococcus is not wrong.; int7 & int8 -> int9: the glutethimide is a pining and it is a echinococcus.; int9 -> hypothesis;
there exists something such that it is a molding that is unintelligent.
$hypothesis$ = that there is something such that it is both a pining and a echinococcus is wrong. ; $context$ = sent1: the glutethimide is antheridial if the acromion is Malaysian. sent2: something services Scranton if it is antheridial. sent3: the acromion is unintelligent if the glutethimide is not non-pentangular. sent4: if something services Scranton then it is a pining. sent5: if something does reface Baptisia and services gene the glutethimide is a echinococcus. sent6: there is something such that it is a echinococcus. sent7: everything is pentangular. sent8: if the fiddlestick is pentangular the acromion is a Malaysian. sent9: the acromion molds. sent10: something refaces Baptisia and services gene. ; $proof$ = 
sent7 -> int1: the fiddlestick is pentangular.; int1 & sent8 -> int2: the acromion is a Malaysian.; int2 & sent1 -> int3: the glutethimide is antheridial.; sent2 -> int4: if the fact that the glutethimide is not non-antheridial is right it services Scranton.; int3 & int4 -> int5: the glutethimide does service Scranton.; sent4 -> int6: if the glutethimide does service Scranton the fact that it is a pining is not wrong.; int5 & int6 -> int7: the glutethimide is a pining.; sent10 & sent5 -> int8: that the glutethimide is a echinococcus is not wrong.; int7 & int8 -> int9: the glutethimide is a pining and it is a echinococcus.; int9 -> hypothesis; __DISPROVED__