the mealworm is unwary.
sent1: the drupe does perk. sent2: everything is not antidotal. sent3: everything is not estrous. sent4: if the conge is a kind of a tidemark the drupe is a aborticide. sent5: the celeriac is not unwary. sent6: everything is not macrobiotic. sent7: if the conge perks then the mealworm is unwary. sent8: the conge is a kind of a aborticide if the drupe is not a tidemark. sent9: the conge is unwary. sent10: something is a RTLT if it redoubles. sent11: something is unwary if it is a tidemark. sent12: if the drupe is unwary it is a tidemark. sent13: the conge is acropetal. sent14: the fact that the conge is a kind of a tidemark is correct if the drupe is a aborticide. sent15: the conge is not a tidemark if it is an assent. sent16: if the conge is a kind of a tidemark then it is a aborticide. sent17: everything is not a kind of a tidemark. sent18: something does perk. sent19: everything is not a twinkle. sent20: the drupe is not pyrogenic. sent21: the AFP is unwary. sent22: that the mealworm is a aborticide is not wrong.
sent17 -> int1: the drupe is not a tidemark.; int1 & sent8 -> int2: the conge is a aborticide.;
the mealworm is not unwary.
$hypothesis$ = the mealworm is unwary. ; $context$ = sent1: the drupe does perk. sent2: everything is not antidotal. sent3: everything is not estrous. sent4: if the conge is a kind of a tidemark the drupe is a aborticide. sent5: the celeriac is not unwary. sent6: everything is not macrobiotic. sent7: if the conge perks then the mealworm is unwary. sent8: the conge is a kind of a aborticide if the drupe is not a tidemark. sent9: the conge is unwary. sent10: something is a RTLT if it redoubles. sent11: something is unwary if it is a tidemark. sent12: if the drupe is unwary it is a tidemark. sent13: the conge is acropetal. sent14: the fact that the conge is a kind of a tidemark is correct if the drupe is a aborticide. sent15: the conge is not a tidemark if it is an assent. sent16: if the conge is a kind of a tidemark then it is a aborticide. sent17: everything is not a kind of a tidemark. sent18: something does perk. sent19: everything is not a twinkle. sent20: the drupe is not pyrogenic. sent21: the AFP is unwary. sent22: that the mealworm is a aborticide is not wrong. ; $proof$ = 
sent17 -> int1: the drupe is not a tidemark.; int1 & sent8 -> int2: the conge is a aborticide.; __UNKNOWN__