the sari is not a checker.
sent1: if the sari is aesculapian that it does not checker is not wrong. sent2: the sari is both aesculapian and not excusable. sent3: the sari is inexcusable.
sent2 -> int1: the sari is aesculapian.; int1 & sent1 -> hypothesis;
$hypothesis$ = the sari is not a checker. ; $context$ = sent1: if the sari is aesculapian that it does not checker is not wrong. sent2: the sari is both aesculapian and not excusable. sent3: the sari is inexcusable. ; $proof$ = 
sent2 -> int1: the sari is aesculapian.; int1 & sent1 -> hypothesis; __PROVED__