The square root of every positive number less than one is greater than the number itself.
Every real number besides 0 has a multiplicative inverse.
For every integer x, if x2 - 2x + 7 is even, then x is odd.
If x and y are real numbers and x + y is irrational, then x is irrational or y is irrational.
If x and y are real numbers and x + y > 20, then x > 10 or y > 10.