the lender does malinger veal and is a psalterium.
sent1: the pteridophyte is husbandly if there exists something such that the fact that it is not lively and it is not husbandly is wrong. sent2: something that is not a psalterium is a monoamine that is husbandly. sent3: if the buckboard stumbles the fact that the snore is non-lively and not husbandly is false. sent4: the buckboard is a Conrad that stumbles. sent5: the asclepiad is not inarticulate. sent6: something articulates and it malingers eleventh if it is not a kind of a monoamine. sent7: the fact that the jonah is articulate hold. sent8: if the jonah is not a monoamine that it is articulate is correct. sent9: the pinche does not malinger veal if that the towhee is a monoamine and it does malinger veal is not correct. sent10: the pinche is not husbandly but it does stumble. sent11: something articulates if it is not a monoamine. sent12: the pinche is not husbandly. sent13: if the pinche is husbandly and it stumbles then the jonah does not malinger eleventh. sent14: the jonah does not malinger eleventh if the pinche is non-husbandly thing that stumbles. sent15: the lender does malinger veal. sent16: the lender is a psalterium if the jonah is a monoamine. sent17: The veal does malinger lender.
sent6 -> int1: the jonah articulates and it malingers eleventh if it is not a kind of a monoamine.; void -> assump1: Let's assume that the jonah is not a monoamine.; int1 & assump1 -> int2: the jonah does articulate and does malinger eleventh.; int2 -> int3: that the jonah does malinger eleventh is not false.; sent14 & sent10 -> int4: the jonah does not malinger eleventh.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jonah is a monoamine.; int6 & sent16 -> int7: the lender is a kind of a psalterium.; int7 & sent15 -> hypothesis;
the wingman is husbandly.
sent2 -> int8: if the wingman is not a kind of a psalterium it is a monoamine and it is husbandly.;
$hypothesis$ = the lender does malinger veal and is a psalterium. ; $context$ = sent1: the pteridophyte is husbandly if there exists something such that the fact that it is not lively and it is not husbandly is wrong. sent2: something that is not a psalterium is a monoamine that is husbandly. sent3: if the buckboard stumbles the fact that the snore is non-lively and not husbandly is false. sent4: the buckboard is a Conrad that stumbles. sent5: the asclepiad is not inarticulate. sent6: something articulates and it malingers eleventh if it is not a kind of a monoamine. sent7: the fact that the jonah is articulate hold. sent8: if the jonah is not a monoamine that it is articulate is correct. sent9: the pinche does not malinger veal if that the towhee is a monoamine and it does malinger veal is not correct. sent10: the pinche is not husbandly but it does stumble. sent11: something articulates if it is not a monoamine. sent12: the pinche is not husbandly. sent13: if the pinche is husbandly and it stumbles then the jonah does not malinger eleventh. sent14: the jonah does not malinger eleventh if the pinche is non-husbandly thing that stumbles. sent15: the lender does malinger veal. sent16: the lender is a psalterium if the jonah is a monoamine. sent17: The veal does malinger lender. ; $proof$ = 
sent6 -> int1: the jonah articulates and it malingers eleventh if it is not a kind of a monoamine.; void -> assump1: Let's assume that the jonah is not a monoamine.; int1 & assump1 -> int2: the jonah does articulate and does malinger eleventh.; int2 -> int3: that the jonah does malinger eleventh is not false.; sent14 & sent10 -> int4: the jonah does not malinger eleventh.; int3 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the jonah is a monoamine.; int6 & sent16 -> int7: the lender is a kind of a psalterium.; int7 & sent15 -> hypothesis; __PROVED__