Answer
If $a^2+b^2 \ne c^2$, then the triangle is not a right triangle.
Work Step by Step
We know from given theorems that if $a^2 + b^2 < c^2$, then the triangle is obtuse and that if $a^2 + b^2 > c^2$, then the triangle is acute. The only other triangle is a right triangle, and the only other formula is $a^2 + b^2 = c^2$. Thus, a triangle is right if and only if $a^2 + b^2 = c^2$. Thus, if $a^2+b^2 \ne c^2$, then the triangle is not a right triangle.