that that the oxyphenbutazone is not a bunker is correct if the pullet is a heel and not a neoliberal does not hold.
sent1: something is not a kind of a bunker if it is a kind of a perjury. sent2: the guayule is a kind of a perjury. sent3: if the fact that the pullet does not bead obsolescence and does not numerate meal is incorrect the oxyphenbutazone does not bead wholesale. sent4: the pullet is a subject. sent5: the pullet is a heel. sent6: something heels if the fact that it is a perjury is correct. sent7: the pullet is a ESOP if it is collapsible. sent8: the pullet is a heel that is not a kind of a perjury. sent9: the fact that something does not bunker and is not a kind of a Acroclinium is not right if it does not bead wholesale. sent10: something that is not a perjury is a kind of a republican and is not dextral. sent11: if the pullet is a neoliberal then it is a Acroclinium. sent12: something heels if it is a Acroclinium. sent13: if the pullet is a heel and is not a neoliberal the oxyphenbutazone is a kind of a Acroclinium. sent14: something is a perjury if it is a Acroclinium. sent15: if something is inclement it is blastoporal. sent16: if the pullet is a neoliberal but it is not a Acroclinium the oxyphenbutazone is not a perjury.
void -> assump1: Let's assume that the pullet is a heel but it is not a kind of a neoliberal.; sent13 & assump1 -> int1: the oxyphenbutazone is a Acroclinium.; sent14 -> int2: if the oxyphenbutazone is a Acroclinium then it is a perjury.; int1 & int2 -> int3: the oxyphenbutazone is a kind of a perjury.; sent1 -> int4: the oxyphenbutazone does not bunker if it is a perjury.; int3 & int4 -> int5: the oxyphenbutazone is not a kind of a bunker.; [assump1] & int5 -> hypothesis;
the oxyphenbutazone is both republican and not dextral.
sent10 -> int6: if the oxyphenbutazone is not a perjury it is not non-republican but non-dextral.; sent9 -> int7: if the oxyphenbutazone does not bead wholesale then that it is not a bunker and it is not a kind of a Acroclinium does not hold.;
$hypothesis$ = that that the oxyphenbutazone is not a bunker is correct if the pullet is a heel and not a neoliberal does not hold. ; $context$ = sent1: something is not a kind of a bunker if it is a kind of a perjury. sent2: the guayule is a kind of a perjury. sent3: if the fact that the pullet does not bead obsolescence and does not numerate meal is incorrect the oxyphenbutazone does not bead wholesale. sent4: the pullet is a subject. sent5: the pullet is a heel. sent6: something heels if the fact that it is a perjury is correct. sent7: the pullet is a ESOP if it is collapsible. sent8: the pullet is a heel that is not a kind of a perjury. sent9: the fact that something does not bunker and is not a kind of a Acroclinium is not right if it does not bead wholesale. sent10: something that is not a perjury is a kind of a republican and is not dextral. sent11: if the pullet is a neoliberal then it is a Acroclinium. sent12: something heels if it is a Acroclinium. sent13: if the pullet is a heel and is not a neoliberal the oxyphenbutazone is a kind of a Acroclinium. sent14: something is a perjury if it is a Acroclinium. sent15: if something is inclement it is blastoporal. sent16: if the pullet is a neoliberal but it is not a Acroclinium the oxyphenbutazone is not a perjury. ; $proof$ = 
void -> assump1: Let's assume that the pullet is a heel but it is not a kind of a neoliberal.; sent13 & assump1 -> int1: the oxyphenbutazone is a Acroclinium.; sent14 -> int2: if the oxyphenbutazone is a Acroclinium then it is a perjury.; int1 & int2 -> int3: the oxyphenbutazone is a kind of a perjury.; sent1 -> int4: the oxyphenbutazone does not bunker if it is a perjury.; int3 & int4 -> int5: the oxyphenbutazone is not a kind of a bunker.; [assump1] & int5 -> hypothesis; __DISPROVED__