que tal si los pasas a numeros para que te des cuenta de los errores... por lo menos
{b > a > 0}
c = a - b
{c > 0}
si los pasamos a numeros, sabemos que a es mayor que 0 y a menor que b, entonces buscamos los numero más pequeños que correspondan
{2 > 1 > 0}
c = 1 - 2
{-1 > 0}
y como sabemos que -1 no es mayor que cero, eso es falso
{b > a > 0}
c = a - b
{c > 0}
si los pasamos a numeros, sabemos que a es mayor que 0 y a menor que b, entonces buscamos los numero más pequeños que correspondan
{2 > 1 > 0}
c = 1 - 2
{-1 > 0}
y como sabemos que -1 no es mayor que cero, eso es falso