the punnet is a reminder.
sent1: the pitch is a mercy. sent2: if the pitch does not deaden and is a mercy the punnet is a reminder. sent3: the pitch does not deaden if the attack does not accrue but it does bespangle Reptilia. sent4: the fact that the Mesa is not a mercy is not wrong if that the attack is not a reminder and does not deaden is false. sent5: the attack does not accrue but it does bespangle Reptilia.
sent3 & sent5 -> int1: the pitch does not deaden.; int1 & sent1 -> int2: the pitch does not deaden but it is a mercy.; int2 & sent2 -> hypothesis;
the Mesa is not a kind of a mercy.
$hypothesis$ = the punnet is a reminder. ; $context$ = sent1: the pitch is a mercy. sent2: if the pitch does not deaden and is a mercy the punnet is a reminder. sent3: the pitch does not deaden if the attack does not accrue but it does bespangle Reptilia. sent4: the fact that the Mesa is not a mercy is not wrong if that the attack is not a reminder and does not deaden is false. sent5: the attack does not accrue but it does bespangle Reptilia. ; $proof$ = 
sent3 & sent5 -> int1: the pitch does not deaden.; int1 & sent1 -> int2: the pitch does not deaden but it is a mercy.; int2 & sent2 -> hypothesis; __PROVED__