the stepfather does bark if the fact that the stand-in is a Pylodictus that does not lysogenize ocelot does not hold.
sent1: the stand-in is a Plantation if it is a Pylodictus and does not lysogenize ocelot. sent2: the stand-in is outward. sent3: the stepfather is a Plantation. sent4: if the stand-in is a kind of a Pylodictus and does not lysogenize ocelot the stepfather is a bark. sent5: the stand-in does besot clogging if it is a Plantation and does not bundle impasto. sent6: that the stepfather barks hold if something is a Plantation and a Grotius. sent7: if the stand-in is both a Plantation and not a default then it is a goateed. sent8: if the fact that the bovine does bundle impasto but it is not boneless does not hold then it is able. sent9: the copyholder is a Plantation. sent10: the stand-in is a Plantation if that it is a Pylodictus and it does not lysogenize ocelot is false. sent11: the stand-in does lysogenize ocelot. sent12: the stepfather is a kind of a Grotius if there exists something such that it is a kind of a bark that does lysogenize ocelot. sent13: there is something such that it is a Plantation. sent14: that the stand-in does subrogate treatment but it does not lysogenize ocelot is incorrect. sent15: that the stand-in is a Pylodictus is true if that the stepfather lysogenizes ocelot and is not a Plantation is false. sent16: that the stand-in is a Plantation is not false if that it is not a Pylodictus is true. sent17: the macon is a Grotius if the fact that it is a aircraftsman and it is not artesian is wrong. sent18: if the stand-in is not a Pylodictus the stepfather is a bark. sent19: if the fact that the stand-in is a Pylodictus that lysogenizes ocelot is not correct then the stepfather barks.
void -> assump1: Let's assume that that the stand-in is a kind of a Pylodictus that does not lysogenize ocelot is false.; sent10 & assump1 -> int1: the stand-in is a Plantation.;
$hypothesis$ = the stepfather does bark if the fact that the stand-in is a Pylodictus that does not lysogenize ocelot does not hold. ; $context$ = sent1: the stand-in is a Plantation if it is a Pylodictus and does not lysogenize ocelot. sent2: the stand-in is outward. sent3: the stepfather is a Plantation. sent4: if the stand-in is a kind of a Pylodictus and does not lysogenize ocelot the stepfather is a bark. sent5: the stand-in does besot clogging if it is a Plantation and does not bundle impasto. sent6: that the stepfather barks hold if something is a Plantation and a Grotius. sent7: if the stand-in is both a Plantation and not a default then it is a goateed. sent8: if the fact that the bovine does bundle impasto but it is not boneless does not hold then it is able. sent9: the copyholder is a Plantation. sent10: the stand-in is a Plantation if that it is a Pylodictus and it does not lysogenize ocelot is false. sent11: the stand-in does lysogenize ocelot. sent12: the stepfather is a kind of a Grotius if there exists something such that it is a kind of a bark that does lysogenize ocelot. sent13: there is something such that it is a Plantation. sent14: that the stand-in does subrogate treatment but it does not lysogenize ocelot is incorrect. sent15: that the stand-in is a Pylodictus is true if that the stepfather lysogenizes ocelot and is not a Plantation is false. sent16: that the stand-in is a Plantation is not false if that it is not a Pylodictus is true. sent17: the macon is a Grotius if the fact that it is a aircraftsman and it is not artesian is wrong. sent18: if the stand-in is not a Pylodictus the stepfather is a bark. sent19: if the fact that the stand-in is a Pylodictus that lysogenizes ocelot is not correct then the stepfather barks. ; $proof$ = 
void -> assump1: Let's assume that that the stand-in is a kind of a Pylodictus that does not lysogenize ocelot is false.; sent10 & assump1 -> int1: the stand-in is a Plantation.; __UNKNOWN__