the anthologist does not mesh agonist.
sent1: if the trivet is not east but it meshes pumice then it meshes agonist. sent2: the trivet does mesh pumice. sent3: the fact that the wastrel meshes agonist is right. sent4: the ambulance meshes agonist. sent5: if the trivet is a sulcus then the anthologist is not non-east. sent6: The pumice does mesh trivet. sent7: the trivet does mesh anthologist. sent8: the anthologist is not a skank. sent9: the anthologist is an east. sent10: something is a sulcus if it is not an east and meshes pumice. sent11: the Sax does mesh agonist. sent12: if the fact that the jibboom is a kind of unerect thing that does whiff copying is not correct then the seven demonstrates. sent13: the anthologist meshes agonist if the trivet is a sulcus. sent14: that the anthologist is a sulcus is not false. sent15: the trivet is not erect but it does demonstrate. sent16: the anthologist does mesh pumice if the trivet meshes agonist. sent17: the worsted does not mesh agonist if there exists something such that that it is not east and it meshes pumice is wrong. sent18: the trivet does mesh agonist if the anthologist does mesh pumice. sent19: something is not a sulcus if it demonstrates and it whiffs copying. sent20: if the seven is not a kind of an east that the trivet does mesh pumice and it does mesh agonist is not true. sent21: the trivet does mesh agonist if it does not mesh pumice and is a kind of a sulcus. sent22: the trivet is not a kind of an east. sent23: the sparker is not an east. sent24: the touch-me-not meshes pumice. sent25: the findings is not a spellbinder but it does mesh pumice.
sent22 & sent2 -> int1: the trivet is not east and meshes pumice.; sent10 -> int2: the trivet is a sulcus if it is a kind of non-east thing that meshes pumice.; int1 & int2 -> int3: the trivet is a sulcus.; int3 & sent13 -> hypothesis;
the worsted does not mesh agonist.
sent19 -> int4: the trivet is not a sulcus if it demonstrates and it does whiff copying.; sent15 -> int5: the trivet demonstrates.;
$hypothesis$ = the anthologist does not mesh agonist. ; $context$ = sent1: if the trivet is not east but it meshes pumice then it meshes agonist. sent2: the trivet does mesh pumice. sent3: the fact that the wastrel meshes agonist is right. sent4: the ambulance meshes agonist. sent5: if the trivet is a sulcus then the anthologist is not non-east. sent6: The pumice does mesh trivet. sent7: the trivet does mesh anthologist. sent8: the anthologist is not a skank. sent9: the anthologist is an east. sent10: something is a sulcus if it is not an east and meshes pumice. sent11: the Sax does mesh agonist. sent12: if the fact that the jibboom is a kind of unerect thing that does whiff copying is not correct then the seven demonstrates. sent13: the anthologist meshes agonist if the trivet is a sulcus. sent14: that the anthologist is a sulcus is not false. sent15: the trivet is not erect but it does demonstrate. sent16: the anthologist does mesh pumice if the trivet meshes agonist. sent17: the worsted does not mesh agonist if there exists something such that that it is not east and it meshes pumice is wrong. sent18: the trivet does mesh agonist if the anthologist does mesh pumice. sent19: something is not a sulcus if it demonstrates and it whiffs copying. sent20: if the seven is not a kind of an east that the trivet does mesh pumice and it does mesh agonist is not true. sent21: the trivet does mesh agonist if it does not mesh pumice and is a kind of a sulcus. sent22: the trivet is not a kind of an east. sent23: the sparker is not an east. sent24: the touch-me-not meshes pumice. sent25: the findings is not a spellbinder but it does mesh pumice. ; $proof$ = 
sent22 & sent2 -> int1: the trivet is not east and meshes pumice.; sent10 -> int2: the trivet is a sulcus if it is a kind of non-east thing that meshes pumice.; int1 & int2 -> int3: the trivet is a sulcus.; int3 & sent13 -> hypothesis; __DISPROVED__