the hackney is not a possible but it is a kind of an incoordination.
sent1: that the pung is a possible hold. sent2: the ocher is a kind of a marshal if the fact that the papain is intestate is right. sent3: the fact that the pung cooks is false if it is not an incoordination. sent4: the fact that the ocher is non-Boeotian and/or it is a Gould hold. sent5: if the pung cooks then the papain is intestate. sent6: the fact that the ultrasound does not leach anthropocentrism but it is a kind of a gallantry is false if the shirt does not cook. sent7: the fact that the hackney is both not a possible and an incoordination does not hold if the ocher is a marshal. sent8: if either the shirt does not riot hackney or it is a auteur or both then it is not a kind of a mother-of-pearl. sent9: the shirt leaches anthropocentrism and is a mother-of-pearl. sent10: the fact that the hackney is a cooked that is an incoordination is not correct if the shirt riots hackney. sent11: the pung correlates makomako and is orthodontics. sent12: if that the fact that the pung is not a cooked and is not intestate hold is not true then the shirt is not a cooked. sent13: the pung is a cooked if there exists something such that the fact that it does not riot hackney and/or it is a auteur is wrong.
void -> assump1: Let's assume that the shirt does not riot hackney and/or it is a auteur.; sent8 & assump1 -> int1: the shirt is not a mother-of-pearl.; sent9 -> int2: the shirt is a mother-of-pearl.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the shirt does not riot hackney or it is a auteur or both is false.; int4 -> int5: there exists something such that that it does not riot hackney and/or is a auteur is false.; int5 & sent13 -> int6: the pung cooks.; int6 & sent5 -> int7: the papain is intestate.; int7 & sent2 -> int8: the ocher does marshal.; int8 & sent7 -> hypothesis;
the fact that that the ultrasound does not leach anthropocentrism but it is a gallantry is false is right.
$hypothesis$ = the hackney is not a possible but it is a kind of an incoordination. ; $context$ = sent1: that the pung is a possible hold. sent2: the ocher is a kind of a marshal if the fact that the papain is intestate is right. sent3: the fact that the pung cooks is false if it is not an incoordination. sent4: the fact that the ocher is non-Boeotian and/or it is a Gould hold. sent5: if the pung cooks then the papain is intestate. sent6: the fact that the ultrasound does not leach anthropocentrism but it is a kind of a gallantry is false if the shirt does not cook. sent7: the fact that the hackney is both not a possible and an incoordination does not hold if the ocher is a marshal. sent8: if either the shirt does not riot hackney or it is a auteur or both then it is not a kind of a mother-of-pearl. sent9: the shirt leaches anthropocentrism and is a mother-of-pearl. sent10: the fact that the hackney is a cooked that is an incoordination is not correct if the shirt riots hackney. sent11: the pung correlates makomako and is orthodontics. sent12: if that the fact that the pung is not a cooked and is not intestate hold is not true then the shirt is not a cooked. sent13: the pung is a cooked if there exists something such that the fact that it does not riot hackney and/or it is a auteur is wrong. ; $proof$ = 
void -> assump1: Let's assume that the shirt does not riot hackney and/or it is a auteur.; sent8 & assump1 -> int1: the shirt is not a mother-of-pearl.; sent9 -> int2: the shirt is a mother-of-pearl.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the shirt does not riot hackney or it is a auteur or both is false.; int4 -> int5: there exists something such that that it does not riot hackney and/or is a auteur is false.; int5 & sent13 -> int6: the pung cooks.; int6 & sent5 -> int7: the papain is intestate.; int7 & sent2 -> int8: the ocher does marshal.; int8 & sent7 -> hypothesis; __DISPROVED__