the burglar is not feudatory.
sent1: the shaggymane does not incur and is not a eurypterid. sent2: the Irishman is not feudatory. sent3: if something is a kind of a repellent then it is feudatory. sent4: the fact that the burglar is not a kind of a repellent is not incorrect. sent5: if the burglar is not a kind of a lifeline then it is not a kind of a slant and is not mental. sent6: if the burglar is not a repellent then the fact that it is not a lifeline hold. sent7: a non-moneyless thing does not unpick driveller and is not a kind of a postilion. sent8: the fact that the burglar is not a kind of a lifeline hold. sent9: if something is not a repellent that it is not feudatory and it is not a lifeline is not incorrect. sent10: something is not moneyless and it is not a paintbrush if it is not a centennial. sent11: if the Freudian does not bog shaggymane then the burglar is not a narrow-mindedness but it is a repellent. sent12: something is not a lifeline if it is not a repellent. sent13: if either something is not regimental or it does not bog shaggymane or both it does not bog shaggymane. sent14: if the burglar does not consociate then it is a kind of non-cognitive thing that is not a repellent.
sent9 -> int1: if the burglar is not a repellent it is not feudatory and it is not a lifeline.; int1 & sent4 -> int2: the burglar is not feudatory and not a lifeline.; int2 -> hypothesis;
the burglar is feudatory.
sent3 -> int3: if the burglar is a kind of a repellent then it is feudatory.; sent13 -> int4: if either the Freudian is not regimental or it does not bog shaggymane or both it does not bog shaggymane.;
$hypothesis$ = the burglar is not feudatory. ; $context$ = sent1: the shaggymane does not incur and is not a eurypterid. sent2: the Irishman is not feudatory. sent3: if something is a kind of a repellent then it is feudatory. sent4: the fact that the burglar is not a kind of a repellent is not incorrect. sent5: if the burglar is not a kind of a lifeline then it is not a kind of a slant and is not mental. sent6: if the burglar is not a repellent then the fact that it is not a lifeline hold. sent7: a non-moneyless thing does not unpick driveller and is not a kind of a postilion. sent8: the fact that the burglar is not a kind of a lifeline hold. sent9: if something is not a repellent that it is not feudatory and it is not a lifeline is not incorrect. sent10: something is not moneyless and it is not a paintbrush if it is not a centennial. sent11: if the Freudian does not bog shaggymane then the burglar is not a narrow-mindedness but it is a repellent. sent12: something is not a lifeline if it is not a repellent. sent13: if either something is not regimental or it does not bog shaggymane or both it does not bog shaggymane. sent14: if the burglar does not consociate then it is a kind of non-cognitive thing that is not a repellent. ; $proof$ = 
sent9 -> int1: if the burglar is not a repellent it is not feudatory and it is not a lifeline.; int1 & sent4 -> int2: the burglar is not feudatory and not a lifeline.; int2 -> hypothesis; __PROVED__