the psychodid is unpretentious.
sent1: the lobe is a kind of a plowboy if it is unpretentious. sent2: the lobe is adaxial if it is unpretentious. sent3: if the porgy is a FM it is a dot-com. sent4: if the psychodid is unpretentious then it is adaxial. sent5: if the lobe is adaxial then it is a plowboy. sent6: the lobe is unpretentious if the psychodid is adaxial. sent7: the fact that the onager is a plowboy hold. sent8: if the lobe is unpretentious then the psychodid is adaxial. sent9: that the psychodid is a plowboy is not incorrect. sent10: if the lobe is not adaxial and is not unpretentious then the psychodid is not unpretentious. sent11: if the Cockney is adaxial the lacteal is unpretentious. sent12: the psychodid is a bounty. sent13: if the lobe is a kind of a plowboy the psychodid is not pretentious. sent14: the pinpoint is a kind of a plowboy. sent15: the psychodid is unpretentious if it is adaxial. sent16: the lobe is a kind of a troop. sent17: the supernatant is adaxial. sent18: the lobe is not non-adaxial.
sent5 & sent18 -> int1: the lobe is a plowboy.; sent13 & int1 -> hypothesis;
the psychodid is not unpretentious.
$hypothesis$ = the psychodid is unpretentious. ; $context$ = sent1: the lobe is a kind of a plowboy if it is unpretentious. sent2: the lobe is adaxial if it is unpretentious. sent3: if the porgy is a FM it is a dot-com. sent4: if the psychodid is unpretentious then it is adaxial. sent5: if the lobe is adaxial then it is a plowboy. sent6: the lobe is unpretentious if the psychodid is adaxial. sent7: the fact that the onager is a plowboy hold. sent8: if the lobe is unpretentious then the psychodid is adaxial. sent9: that the psychodid is a plowboy is not incorrect. sent10: if the lobe is not adaxial and is not unpretentious then the psychodid is not unpretentious. sent11: if the Cockney is adaxial the lacteal is unpretentious. sent12: the psychodid is a bounty. sent13: if the lobe is a kind of a plowboy the psychodid is not pretentious. sent14: the pinpoint is a kind of a plowboy. sent15: the psychodid is unpretentious if it is adaxial. sent16: the lobe is a kind of a troop. sent17: the supernatant is adaxial. sent18: the lobe is not non-adaxial. ; $proof$ = 
sent5 & sent18 -> int1: the lobe is a plowboy.; sent13 & int1 -> hypothesis; __PROVED__