there is something such that if the fact that it is a Barbary and it is not undiplomatic is incorrect it is not a rickrack.
sent1: if the fact that something is a Barbary and is not undiplomatic is false it is not a kind of a rickrack.
sent1 -> int1: if the fact that the cheetah is a Barbary and is not undiplomatic does not hold then it is not a rickrack.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is a Barbary and it is not undiplomatic is incorrect it is not a rickrack. ; $context$ = sent1: if the fact that something is a Barbary and is not undiplomatic is false it is not a kind of a rickrack. ; $proof$ = 
sent1 -> int1: if the fact that the cheetah is a Barbary and is not undiplomatic does not hold then it is not a rickrack.; int1 -> hypothesis; __PROVED__