This of course depends upon the fact that you are not married at all. Due to the complexity of the idea I shall attempt to portray, I shall state my logic in three different formats: first English, then proof format, and finally in C++ syntax.
English:
If you are not presently married to anybody, then the statement that you are married to somebody is false, and the opposite must be true; the opposite of "anybody" is "nobody". So we have established that the identity behind the title "your spouse" is "nobody".
Examine now the identity of a rock. A rock does not register legally or logically as having the identity of "anybody", but can however be accurately identified as "nobody".
We have now established that the identities of "your spouse" and a rock are both "nobody".
In a hypothetical situation in which you actually happen to be married to somebody, then that somebody can be identified by the identity held by the title "your spouse". If "your spouse" happens to hold the identity of either "George" or "Emma", then depending on which identity that title holds your spouse is either George or Emma.
We have now established that in order for somebody to be your spouse, their identity must match the identity held by the title "your spouse".
Seeing as you are not married to anybody, and are therefor married to "nobody", then you are married to whoever holds the identity of "nobody"; in this instance, it happens to be a rock.
We have now established that you are married to a rock.
Proof format:
Your Spouse = a rock ---To Prove
Your Spouse = "nobody"; a rock = "nobody" ---Given
Your Spouse and a rock both = "nobody" ---Definition of marriage
Your Spouse = a rock ---Substitution
C++ syntax:
struct PERSON
{
ID identity;
SPOUSE spouse;
}
BOOL proofOfMarriage(const PERSON You, const PERSON aRock)
{
//check to see if your spouse is a rock
if ( You.spouse==aRock.identity )
{
//it is true that your spouse is a rock
return true;
}
else
{
//it is false that your spouse is a rock
return false;
}
}
Using this logic, you may also find that you have plenty of rock children, or may possibly be married to one million dollars instead of a rock.
