the ackee unpicks pyocyanase.
sent1: the strapless is not a DSL and does not unpick Simarouba. sent2: if the ackee unpicks aplite then it does not unpick pyocyanase and it is not a kind of a gruel. sent3: the ackee is a gruel. sent4: if the ackee is carpetbag it does not unpick aplite and it does not unpick pyocyanase. sent5: the strapless does not overtire and it is not a kind of a fowl. sent6: the fact that the ackee does unpick pyocyanase is correct if the strapless does not unpick aplite and is not a gruel. sent7: if the strapless does unpick aplite and is not a kind of a gruel the fact that the ackee unpicks pyocyanase is true. sent8: the ackee is not unattractive. sent9: if the fact that the strapless is carpetbag is not wrong it does not unpick aplite and is not a gruel. sent10: the strapless does unpick pyocyanase if the ackee does not unpick aplite and it is not a carpetbag. sent11: the strapless does unpick aplite if the ackee does not unpick pyocyanase and is not a carpetbag. sent12: the strapless is a kind of a carpetbag. sent13: if the strapless does not unpick aplite and is a gruel the ackee does unpick pyocyanase.
sent9 & sent12 -> int1: the strapless does not unpick aplite and it is not a gruel.; sent6 & int1 -> hypothesis;
$hypothesis$ = the ackee unpicks pyocyanase. ; $context$ = sent1: the strapless is not a DSL and does not unpick Simarouba. sent2: if the ackee unpicks aplite then it does not unpick pyocyanase and it is not a kind of a gruel. sent3: the ackee is a gruel. sent4: if the ackee is carpetbag it does not unpick aplite and it does not unpick pyocyanase. sent5: the strapless does not overtire and it is not a kind of a fowl. sent6: the fact that the ackee does unpick pyocyanase is correct if the strapless does not unpick aplite and is not a gruel. sent7: if the strapless does unpick aplite and is not a kind of a gruel the fact that the ackee unpicks pyocyanase is true. sent8: the ackee is not unattractive. sent9: if the fact that the strapless is carpetbag is not wrong it does not unpick aplite and is not a gruel. sent10: the strapless does unpick pyocyanase if the ackee does not unpick aplite and it is not a carpetbag. sent11: the strapless does unpick aplite if the ackee does not unpick pyocyanase and is not a carpetbag. sent12: the strapless is a kind of a carpetbag. sent13: if the strapless does not unpick aplite and is a gruel the ackee does unpick pyocyanase. ; $proof$ = 
sent9 & sent12 -> int1: the strapless does not unpick aplite and it is not a gruel.; sent6 & int1 -> hypothesis; __PROVED__