the messiah does not repine atom.
sent1: something is not a reorder if it is dyadic and it singularizes projectile. sent2: that the headmistress does singularize projectile and does not broach is not correct. sent3: if the hoosegow is urban it is dyadic. sent4: the hoosegow is urban if the fact that the headmistress singularizes projectile but it does not broach is not correct. sent5: there exists something such that it is not non-endocrine and/or it reckons. sent6: if something is an endocrine and/or reckons then the messiah is an endocrine. sent7: something that does reorder and is a kind of an endocrine does not repine atom. sent8: the MVP does repine MVP and is not dyadic if the hoosegow is dyadic. sent9: if that the MVP repines MVP hold then the messiah is a reorder. sent10: a Amish that does like does not singularize lockup. sent11: something repines MVP and is not urban if it is not a reorder.
sent4 & sent2 -> int1: the hoosegow is urban.; int1 & sent3 -> int2: the hoosegow is dyadic.; int2 & sent8 -> int3: the MVP does repine MVP but it is not dyadic.; int3 -> int4: the MVP does repine MVP.; int4 & sent9 -> int5: the messiah reorders.; sent5 & sent6 -> int6: the messiah is an endocrine.; int5 & int6 -> int7: the messiah is a reorder and it is a kind of an endocrine.; sent7 -> int8: the messiah does not repine atom if it is a kind of a reorder and it is a kind of an endocrine.; int7 & int8 -> hypothesis;
the messiah repines atom.
sent11 -> int9: the messiah does repine MVP but it is not urban if that it is not a kind of a reorder hold.;
$hypothesis$ = the messiah does not repine atom. ; $context$ = sent1: something is not a reorder if it is dyadic and it singularizes projectile. sent2: that the headmistress does singularize projectile and does not broach is not correct. sent3: if the hoosegow is urban it is dyadic. sent4: the hoosegow is urban if the fact that the headmistress singularizes projectile but it does not broach is not correct. sent5: there exists something such that it is not non-endocrine and/or it reckons. sent6: if something is an endocrine and/or reckons then the messiah is an endocrine. sent7: something that does reorder and is a kind of an endocrine does not repine atom. sent8: the MVP does repine MVP and is not dyadic if the hoosegow is dyadic. sent9: if that the MVP repines MVP hold then the messiah is a reorder. sent10: a Amish that does like does not singularize lockup. sent11: something repines MVP and is not urban if it is not a reorder. ; $proof$ = 
sent4 & sent2 -> int1: the hoosegow is urban.; int1 & sent3 -> int2: the hoosegow is dyadic.; int2 & sent8 -> int3: the MVP does repine MVP but it is not dyadic.; int3 -> int4: the MVP does repine MVP.; int4 & sent9 -> int5: the messiah reorders.; sent5 & sent6 -> int6: the messiah is an endocrine.; int5 & int6 -> int7: the messiah is a reorder and it is a kind of an endocrine.; sent7 -> int8: the messiah does not repine atom if it is a kind of a reorder and it is a kind of an endocrine.; int7 & int8 -> hypothesis; __PROVED__