the numismatist is agrypnotic.
sent1: the legatee is not apogean and it is not a kind of a Medicago. sent2: if the legatee is not apogean and not a Medicago it is not prelapsarian. sent3: the legatee does not embrown numismatist and/or it does not impair. sent4: if the legatee does not impair then it is inaudible. sent5: if the legatee is not prelapsarian but it is inaudible then the numismatist is agrypnotic. sent6: if the legatee does not embrown numismatist then it is inaudible. sent7: that the legatee is not apogean hold.
sent2 & sent1 -> int1: the legatee is not prelapsarian.; sent3 & sent6 & sent4 -> int2: the legatee is inaudible.; int1 & int2 -> int3: the legatee is not prelapsarian but it is inaudible.; int3 & sent5 -> hypothesis;
$hypothesis$ = the numismatist is agrypnotic. ; $context$ = sent1: the legatee is not apogean and it is not a kind of a Medicago. sent2: if the legatee is not apogean and not a Medicago it is not prelapsarian. sent3: the legatee does not embrown numismatist and/or it does not impair. sent4: if the legatee does not impair then it is inaudible. sent5: if the legatee is not prelapsarian but it is inaudible then the numismatist is agrypnotic. sent6: if the legatee does not embrown numismatist then it is inaudible. sent7: that the legatee is not apogean hold. ; $proof$ = 
sent2 & sent1 -> int1: the legatee is not prelapsarian.; sent3 & sent6 & sent4 -> int2: the legatee is inaudible.; int1 & int2 -> int3: the legatee is not prelapsarian but it is inaudible.; int3 & sent5 -> hypothesis; __PROVED__