Not all the Mr. Rights are gay and the marrieds

a wish for kiki

今天下午
有個大女孩要結婚了
她曾經是我的數學老師
但她也很愛玩
可以跟她澳洲馬來西亞跑透透
她家不只是課輔班
也是我偶爾不想回家的home stay

還記得3年前
一個陽光明媚的午後
聽她一付看破紅塵的口吻說
"這世界上的好男人不是死會就是gay"

但這個數學老師從來沒想到
三年前她所提出的命題敘述
竟然會在今天被推翻

從10:27到04:06
我運用我僅存的高中邏輯觀念
加上拖了一堆歹命的同學當智囊團
不斷的修改
寫出了一個很鄨腳數理命題

R=Mr. Rights
G=gay
A=the marrieds
M=men

R, G, A∈ M

∃x[R(x)∪A(x)]∩[R(x)∪G(x)] ⎮- ¬∀x[R(x)→G(x)∪A(x)]]
⇒∀x[R(x)→G(x)∪A(x)] ⎮- ¬∃x[R(x)∪A(x)]∩[R(x)∪G(x)]

也許這個命題仍有很多勘誤
但我會漸漸把它修到完整

並希望能夠更進一步寫出證明
Mr. Rights who aren`t gay and the marrieds remain alive. ^^