that the mineshaft is not a Pharomacrus is wrong if the strategist is premedical.
sent1: the mineshaft is a Pharomacrus if the strategist is a kind of a slacks and does not reconcile. sent2: the maiden slacks. sent3: the larvicide is not a Pharomacrus. sent4: the Rolodex does not reconcile. sent5: the mend is not a fucker. sent6: if the strategist is not a slacks and does not reconcile then the mineshaft is a Pharomacrus. sent7: the strategist disrespects RN. sent8: something is a kind of a Pharomacrus if the fact that it is Old thing that is not a kind of a Keynesian does not hold. sent9: the strategist is a Pharomacrus if the mineshaft does reconcile. sent10: the mineshaft is premedical. sent11: the poacher is not a slacks. sent12: the herbage does reconcile. sent13: that the mend is not non-Old and is not a Keynesian is false if it is not a fucker. sent14: the strategist is a Pharomacrus. sent15: the strategist is not a patch and it does not mount.
the strategist does not lap microprocessor and does not whang F.
sent8 -> int1: if that the mend is Old but it is not a Keynesian is not right it is a kind of a Pharomacrus.; sent13 & sent5 -> int2: that the mend is both Old and not Keynesian is false.; int1 & int2 -> int3: the mend is a Pharomacrus.;
$hypothesis$ = that the mineshaft is not a Pharomacrus is wrong if the strategist is premedical. ; $context$ = sent1: the mineshaft is a Pharomacrus if the strategist is a kind of a slacks and does not reconcile. sent2: the maiden slacks. sent3: the larvicide is not a Pharomacrus. sent4: the Rolodex does not reconcile. sent5: the mend is not a fucker. sent6: if the strategist is not a slacks and does not reconcile then the mineshaft is a Pharomacrus. sent7: the strategist disrespects RN. sent8: something is a kind of a Pharomacrus if the fact that it is Old thing that is not a kind of a Keynesian does not hold. sent9: the strategist is a Pharomacrus if the mineshaft does reconcile. sent10: the mineshaft is premedical. sent11: the poacher is not a slacks. sent12: the herbage does reconcile. sent13: that the mend is not non-Old and is not a Keynesian is false if it is not a fucker. sent14: the strategist is a Pharomacrus. sent15: the strategist is not a patch and it does not mount. ; $proof$ = 
__UNKNOWN__