there is something such that if the fact that it is acetic and does snuff Plantago is incorrect then it is not a kind of a ablative.
sent1: if the fact that something is acetic and it snuffs Plantago is not right then it is non-ablative.
sent1 -> int1: the litter is not a ablative if that it is acetic and it does snuff Plantago is wrong.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is acetic and does snuff Plantago is incorrect then it is not a kind of a ablative. ; $context$ = sent1: if the fact that something is acetic and it snuffs Plantago is not right then it is non-ablative. ; $proof$ = 
sent1 -> int1: the litter is not a ablative if that it is acetic and it does snuff Plantago is wrong.; int1 -> hypothesis; __PROVED__