(a >= b) and (a > c)	(a >= b) and (c < a)	(b <= a) and (a > c)	(b <= a) and (c < a)	(a > c) and (a >= b)	(c < a) and (a >= b)	(a > c) and (b <= a)	(c < a) and (b <= a)
(a < b) or (b <= c)	(a < b) or (b >= a)	(b > a) and (b <= c)	(b > a) or (b >= a)	(b <= c) or (a < b)	(c >= b) or (a < b)	(b <= c) or (b > a)	(c >= b) or (b > a)
(a < c) and (b < c)	(a < c) and (c > b)	(c > a) and (b < c)	(c > a) and (c > b)	(b < c) and (a < c)	(c > b) and (a < c)	(b < c) and (c > a)	(c > b) and (c > a)
(a > b) and (b > c)	(a > b) and (c < b)	(b < a) and (b > c)	(b < a) and (c < b)	(b > c) and (a > b)	(c < b) and (a > b)	(b > c) and (b < a)	(c < b) and (b < a)
not (a == b) and not (a == c)	not (a == c) and not (a == b)	(a != b) and (a != c)	(a != c) and (a != b)	b != a != c	c != a != b	(b != a != c)	(c != a != b)
(a > b * 2) and not (a > b * 3)	(a > 2 * b) and not (a > 3 * b)	(a > (b * 2)) and not (a > (b * 3))	(a > (2 * b)) and not (a > (3 * b))	(a > b * 2) and (a <= b * 3)	(a > 2 * b) and (a <= 3 * b)	(a > (b * 2)) and (a <= (b * 3))	(a > (2 * b)) and (a <= (3 * b))	2 * b < a <= 3 * b	b * 2 < a <= b * 3	(2 * b) < a <= (3 * b)	(b * 2) < a <= (b * 3)
