that the downcast does evict shear and it does shaft grove is not right.
sent1: the greasepaint bogs legalization and evicts crouch if it does not groove. sent2: the reserve is not a groove. sent3: the reserve is not autumnal and does shaft grove if it is not a bump. sent4: the fact that if the greasepaint does bog legalization the downcast evicts shear is true. sent5: everything is autumnal. sent6: everything is capitular and it evicts hamburger. sent7: something does not shaft grove but it evicts crouch if it does not groove. sent8: if the reserve is a zloty and shafts grove then the shape is a zloty. sent9: the downcast is a groove. sent10: if something is not a bump then the fact that it evicts shear and shafts grove does not hold. sent11: if the downcast is autumnal the Wykehamist does shaft grove. sent12: the greasepaint is not a moon. sent13: if something that is not a zloty is not autumnal then it is a kind of a bump. sent14: something is flatness if it does bump. sent15: the downcast does evict shear if the shape does not evict shear but it is a zloty. sent16: everything is a kind of a bump that is autumnal. sent17: the greasepaint does bog legalization if the shape is a zloty that is not a moon. sent18: if the reserve evicts crouch and does not bog legalization the shape moons. sent19: the shape is a zloty and does not moon if the Wykehamist is not a zloty. sent20: if the greasepaint does bog legalization and does evict crouch then the shape does not moon. sent21: the shape does not bog legalization if that it is not a language is not false. sent22: the shape does evict crouch if the greasepaint does evict crouch. sent23: if the reserve is not a groove then it does evict crouch. sent24: something is not psycholinguistic if it is not biotypic. sent25: if the Wykehamist bumps it is not a zloty. sent26: if the reserve does not shaft grove and evicts crouch then that the downcast does shaft grove hold.
sent16 -> int1: the Wykehamist is a bump and autumnal.; int1 -> int2: the Wykehamist does bump.; int2 & sent25 -> int3: the Wykehamist is not a zloty.; int3 & sent19 -> int4: the shape is a kind of a zloty but it is not a moon.; int4 & sent17 -> int5: the greasepaint does bog legalization.; int5 & sent4 -> int6: the downcast evicts shear.; sent7 -> int7: if the fact that the reserve is not a groove is true then it does not shaft grove and it evicts crouch.; int7 & sent2 -> int8: the reserve does not shaft grove but it does evict crouch.; sent26 & int8 -> int9: the downcast shafts grove.; int6 & int9 -> hypothesis;
the fact that the downcast evicts shear and does shaft grove does not hold.
sent10 -> int10: if the downcast is not a bump then that it does evict shear and does shaft grove does not hold.;
$hypothesis$ = that the downcast does evict shear and it does shaft grove is not right. ; $context$ = sent1: the greasepaint bogs legalization and evicts crouch if it does not groove. sent2: the reserve is not a groove. sent3: the reserve is not autumnal and does shaft grove if it is not a bump. sent4: the fact that if the greasepaint does bog legalization the downcast evicts shear is true. sent5: everything is autumnal. sent6: everything is capitular and it evicts hamburger. sent7: something does not shaft grove but it evicts crouch if it does not groove. sent8: if the reserve is a zloty and shafts grove then the shape is a zloty. sent9: the downcast is a groove. sent10: if something is not a bump then the fact that it evicts shear and shafts grove does not hold. sent11: if the downcast is autumnal the Wykehamist does shaft grove. sent12: the greasepaint is not a moon. sent13: if something that is not a zloty is not autumnal then it is a kind of a bump. sent14: something is flatness if it does bump. sent15: the downcast does evict shear if the shape does not evict shear but it is a zloty. sent16: everything is a kind of a bump that is autumnal. sent17: the greasepaint does bog legalization if the shape is a zloty that is not a moon. sent18: if the reserve evicts crouch and does not bog legalization the shape moons. sent19: the shape is a zloty and does not moon if the Wykehamist is not a zloty. sent20: if the greasepaint does bog legalization and does evict crouch then the shape does not moon. sent21: the shape does not bog legalization if that it is not a language is not false. sent22: the shape does evict crouch if the greasepaint does evict crouch. sent23: if the reserve is not a groove then it does evict crouch. sent24: something is not psycholinguistic if it is not biotypic. sent25: if the Wykehamist bumps it is not a zloty. sent26: if the reserve does not shaft grove and evicts crouch then that the downcast does shaft grove hold. ; $proof$ = 
sent16 -> int1: the Wykehamist is a bump and autumnal.; int1 -> int2: the Wykehamist does bump.; int2 & sent25 -> int3: the Wykehamist is not a zloty.; int3 & sent19 -> int4: the shape is a kind of a zloty but it is not a moon.; int4 & sent17 -> int5: the greasepaint does bog legalization.; int5 & sent4 -> int6: the downcast evicts shear.; sent7 -> int7: if the fact that the reserve is not a groove is true then it does not shaft grove and it evicts crouch.; int7 & sent2 -> int8: the reserve does not shaft grove but it does evict crouch.; sent26 & int8 -> int9: the downcast shafts grove.; int6 & int9 -> hypothesis; __DISPROVED__