that the epee is a argemone if the distiller is a pack is not correct.
sent1: if something does think Grecian then that the epee is a kind of a argemone but it does not pack is false. sent2: there is something such that it tenses. sent3: that the distiller is a kind of a pack that does not card flaunt does not hold if there is something such that it thinks Grecian. sent4: something is a kind of a Mays. sent5: there exists something such that it does post proteosome and does pack. sent6: if the fact that the epee does not think Grecian and does not post proteosome does not hold then the Soubise is a kind of a argemone. sent7: if there exists something such that it does think Grecian and is a kind of a argemone that the distiller does post proteosome is not false. sent8: the fact that the distiller is avocational is right. sent9: there exists something such that it is a argemone. sent10: the Soubise is a argemone if the epee does card flaunt. sent11: something is a pack and it posts proteosome. sent12: if the fact that the Soubise does not post proteosome and it does not card flaunt is not true the distiller does think Grecian. sent13: that the Soubise does not think Grecian and does card flaunt is not correct. sent14: the distiller cards flaunt. sent15: the epee is a kind of a argemone if there exists something such that it does think Grecian and it packs. sent16: if there is something such that it is a Mays then that the Soubise does not post proteosome and it does not card flaunt does not hold. sent17: the fact that the epee is not a argemone and it is not a pack does not hold. sent18: if the fact that the epee does not card flaunt and is not a argemone is wrong then the Soubise does post proteosome.
sent4 & sent16 -> int1: the fact that the Soubise does not post proteosome and it does not card flaunt is not correct.; sent12 & int1 -> int2: the distiller does think Grecian.; void -> assump1: Let's assume that the distiller packs.; int2 & assump1 -> int3: the distiller thinks Grecian and it is a pack.; int3 -> int4: there is something such that it thinks Grecian and is a pack.; int4 & sent15 -> int5: the epee is a argemone.; [assump1] & int5 -> hypothesis;
$hypothesis$ = that the epee is a argemone if the distiller is a pack is not correct. ; $context$ = sent1: if something does think Grecian then that the epee is a kind of a argemone but it does not pack is false. sent2: there is something such that it tenses. sent3: that the distiller is a kind of a pack that does not card flaunt does not hold if there is something such that it thinks Grecian. sent4: something is a kind of a Mays. sent5: there exists something such that it does post proteosome and does pack. sent6: if the fact that the epee does not think Grecian and does not post proteosome does not hold then the Soubise is a kind of a argemone. sent7: if there exists something such that it does think Grecian and is a kind of a argemone that the distiller does post proteosome is not false. sent8: the fact that the distiller is avocational is right. sent9: there exists something such that it is a argemone. sent10: the Soubise is a argemone if the epee does card flaunt. sent11: something is a pack and it posts proteosome. sent12: if the fact that the Soubise does not post proteosome and it does not card flaunt is not true the distiller does think Grecian. sent13: that the Soubise does not think Grecian and does card flaunt is not correct. sent14: the distiller cards flaunt. sent15: the epee is a kind of a argemone if there exists something such that it does think Grecian and it packs. sent16: if there is something such that it is a Mays then that the Soubise does not post proteosome and it does not card flaunt does not hold. sent17: the fact that the epee is not a argemone and it is not a pack does not hold. sent18: if the fact that the epee does not card flaunt and is not a argemone is wrong then the Soubise does post proteosome. ; $proof$ = 
sent4 & sent16 -> int1: the fact that the Soubise does not post proteosome and it does not card flaunt is not correct.; sent12 & int1 -> int2: the distiller does think Grecian.; void -> assump1: Let's assume that the distiller packs.; int2 & assump1 -> int3: the distiller thinks Grecian and it is a pack.; int3 -> int4: there is something such that it thinks Grecian and is a pack.; int4 & sent15 -> int5: the epee is a argemone.; [assump1] & int5 -> hypothesis; __DISPROVED__