>>12194266Let F(x, y) be the propositional function x is funnier than y.
Let x be an element of the domain of all men and let y be an element of the domain of all women.
For all x, for all y, F(x, y)
Or equivalently
It is not the case that there exists an x, and there exists a y, such that not F(x, y).
