the Uruguayan is not non-scalic.
sent1: if the rasp is not a Stoic then the Uruguayan is a stamper and it is scalic. sent2: the rasp is not a kind of a Stoic.
sent1 & sent2 -> int1: the Uruguayan is a stamper and it is not non-scalic.; int1 -> hypothesis;
$hypothesis$ = the Uruguayan is not non-scalic. ; $context$ = sent1: if the rasp is not a Stoic then the Uruguayan is a stamper and it is scalic. sent2: the rasp is not a kind of a Stoic. ; $proof$ = 
sent1 & sent2 -> int1: the Uruguayan is a stamper and it is not non-scalic.; int1 -> hypothesis; __PROVED__