the bundle is not a kind of a Actium.
sent1: the dentifrice pans town. sent2: the bundle is apologetics if the ell is a Actium. sent3: if the holdout does pan town or it is a macro or both then the bundle is not a kind of a Actium. sent4: the Reverend is apologetics. sent5: if the holdout is a Actium then the bundle is a macro. sent6: the holdout either is xerographic or decorates Menispermum or both. sent7: if the bundle either does pan town or is a Actium or both the holdout is non-apologetics. sent8: the bedwetter does not pan town. sent9: if the ell is a Actium then the bundle is not apologetics. sent10: the fact that the ell is apologetics hold. sent11: the ell is a kind of a macro. sent12: the ell does not pan town. sent13: if the holdout does pan town then that the ell is a kind of non-apologetics thing that is not a macro is wrong. sent14: if the bundle is apologetics then the ell is not a Actium. sent15: the holdout is not apologetics. sent16: the holdout does not pan town if the bundle is apologetics and/or it is a Actium. sent17: the Xhosa is a kind of a macro. sent18: the holdout is a kind of a macro if the ell is apologetics.
sent18 & sent10 -> int1: the holdout is a macro.; int1 -> int2: the holdout pans town and/or it is a macro.; int2 & sent3 -> hypothesis;
the bundle is a Actium.
$hypothesis$ = the bundle is not a kind of a Actium. ; $context$ = sent1: the dentifrice pans town. sent2: the bundle is apologetics if the ell is a Actium. sent3: if the holdout does pan town or it is a macro or both then the bundle is not a kind of a Actium. sent4: the Reverend is apologetics. sent5: if the holdout is a Actium then the bundle is a macro. sent6: the holdout either is xerographic or decorates Menispermum or both. sent7: if the bundle either does pan town or is a Actium or both the holdout is non-apologetics. sent8: the bedwetter does not pan town. sent9: if the ell is a Actium then the bundle is not apologetics. sent10: the fact that the ell is apologetics hold. sent11: the ell is a kind of a macro. sent12: the ell does not pan town. sent13: if the holdout does pan town then that the ell is a kind of non-apologetics thing that is not a macro is wrong. sent14: if the bundle is apologetics then the ell is not a Actium. sent15: the holdout is not apologetics. sent16: the holdout does not pan town if the bundle is apologetics and/or it is a Actium. sent17: the Xhosa is a kind of a macro. sent18: the holdout is a kind of a macro if the ell is apologetics. ; $proof$ = 
sent18 & sent10 -> int1: the holdout is a macro.; int1 -> int2: the holdout pans town and/or it is a macro.; int2 & sent3 -> hypothesis; __PROVED__