that the epergne is a poultice and it is a kind of a firstborn is not correct.
sent1: the epergne is a poultice if it is a kind of nonionic thing that is not a stultification. sent2: the epergne is a firstborn if the polybutylene is a kind of a CD-ROM. sent3: the fact that the polybutylene does commutate and it is uncompassionate is false. sent4: the epergne is not a graveness if there exists something such that the fact that it is not a CD-ROM and it is a graveness does not hold. sent5: the epergne is not ionic. sent6: that the polybutylene is not a Ascidiaceae and it is not a kind of a francium does not hold if it is not a graveness. sent7: if something is a graveness it is a CD-ROM. sent8: if the fact that the polybutylene does commutate and is uncompassionate is false then it does not commutate. sent9: the epergne is not a stultification. sent10: something does commutate if the fact that it is not a Ascidiaceae and not a francium is not right.
void -> assump1: Let's assume that the polybutylene is not a graveness.; sent6 & assump1 -> int1: the fact that the polybutylene is not a Ascidiaceae and it is not a kind of a francium is wrong.; sent10 -> int2: if that the polybutylene is not a Ascidiaceae and it is not a francium is false then the fact that it does commutate is not false.; int1 & int2 -> int3: the polybutylene commutates.; sent8 & sent3 -> int4: the polybutylene does not commutate.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the polybutylene is a graveness.; sent7 -> int7: the polybutylene is a kind of a CD-ROM if it is a graveness.; int6 & int7 -> int8: the polybutylene is a CD-ROM.; int8 & sent2 -> int9: the epergne is a kind of a firstborn.; sent5 & sent9 -> int10: the fact that the epergne is not ionic and not a stultification is not wrong.; sent1 & int10 -> int11: the epergne poultices.; int9 & int11 -> hypothesis;
the fact that the epergne is a poultice and it is a firstborn does not hold.
$hypothesis$ = that the epergne is a poultice and it is a kind of a firstborn is not correct. ; $context$ = sent1: the epergne is a poultice if it is a kind of nonionic thing that is not a stultification. sent2: the epergne is a firstborn if the polybutylene is a kind of a CD-ROM. sent3: the fact that the polybutylene does commutate and it is uncompassionate is false. sent4: the epergne is not a graveness if there exists something such that the fact that it is not a CD-ROM and it is a graveness does not hold. sent5: the epergne is not ionic. sent6: that the polybutylene is not a Ascidiaceae and it is not a kind of a francium does not hold if it is not a graveness. sent7: if something is a graveness it is a CD-ROM. sent8: if the fact that the polybutylene does commutate and is uncompassionate is false then it does not commutate. sent9: the epergne is not a stultification. sent10: something does commutate if the fact that it is not a Ascidiaceae and not a francium is not right. ; $proof$ = 
void -> assump1: Let's assume that the polybutylene is not a graveness.; sent6 & assump1 -> int1: the fact that the polybutylene is not a Ascidiaceae and it is not a kind of a francium is wrong.; sent10 -> int2: if that the polybutylene is not a Ascidiaceae and it is not a francium is false then the fact that it does commutate is not false.; int1 & int2 -> int3: the polybutylene commutates.; sent8 & sent3 -> int4: the polybutylene does not commutate.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the polybutylene is a graveness.; sent7 -> int7: the polybutylene is a kind of a CD-ROM if it is a graveness.; int6 & int7 -> int8: the polybutylene is a CD-ROM.; int8 & sent2 -> int9: the epergne is a kind of a firstborn.; sent5 & sent9 -> int10: the fact that the epergne is not ionic and not a stultification is not wrong.; sent1 & int10 -> int11: the epergne poultices.; int9 & int11 -> hypothesis; __DISPROVED__