浴室里没有人，水是我开的。 (zz) 去年圣诞节，室友和女朋友约会去了，我一个人在房间里。 我把浴室的灯打开，把热水打开，浴室里就雾气腾腾的透出光亮，像一个神迹显现。 我在隔着一个客厅的房间里上网，发帖子，发微薄，假装自己正在等一个女人洗完澡，出来陪我**，但其实水是我开的，浴室里没人。 我的室友回来了，带着一个女孩儿，他很吃惊的看着浴室。 你带了人回来吗？ 我应该诚实，但真相太可悲了，我说是的，我带了人回来。 他拍拍我，说好小子，真看不出来呀，那就不打扰你了。神色隐秘的一笑，和他的女友钻进他的房间了。 但其实浴室里没有人，水是我开的，过了一会儿，我觉得这样很浪费，就把水关了。回到自己的房间睡着了。 后来我的室友就跟人说，我有一个女友。别人就问我，你有一个女友吗？ 我怎么说呢？我只能说是，我不能告诉他们水是我开的，卧室里没有人。 所以我度过了一段麻烦的日子。我不能再参与单身汉的下班活动了，因为他们听说，我有个女友。 去陪你的小情人吧，他们一群人哄着赶走了我。 公司里发电影票，他们给了我两张，我装作很感谢的样子，可是我从哪儿找另一个人陪我去看电影呢？ 所以我一个人，旁边的位置上放着我的爆米花。 你和你的女 (more...)

想起来一个类似的故事...九四五年的一天，克力富兰的孤儿院里出现了一个神秘的女婴，没有人知道她的父母是谁。她孤独地长大，没有任何人与她来往。 直到一九六三年的一天，她莫明其妙地爱上了一个流浪汉，情况才变得好起来。可是好景不长，不幸事件一个接一个的发生。首先，当她发现自己怀上了流浪汉的小孩时，流浪汉却突然失踪了。其次，她在医院生小孩时，医生发现她是双性人，也就是说她同时具有男女性器官。为了挽救她的生命，医院给她做了变性手术，她变成了他。最不幸的是，她刚刚生下的小女孩又被一个神秘的人给绑走了。这一连串的打击使他从此一蹶不振，最后流落到街头变成了一个无家可归的流浪汉。 直到一九七八年的一天，他醉熏熏地走进了一个小酒吧，把他一身不幸的遭遇告诉了一个比他年长的酒吧伙计。酒吧伙计很同情他，主动提出帮他找到那个使‘他’怀孕而又失踪的流浪汉。唯一的条件是他必须参加伙计他们的‘时间旅行特种部队’。 他们一起进了‘时间飞车’。飞车回到六三年时，伙计把流浪汉放了出去。流浪汉莫明其妙地爱上了一个孤儿院长大的姑娘，并使她怀了孕。伙计又乘‘时间飞车’前行九个多月，到医院抢走了刚刚出生的小女婴，并用‘时间飞车’把女婴带回到一九四五年，悄悄地把她 (more...)

我真心的觉得,这个可以用Alloy或者Z3做个model如果非要加上一个时间,可以用您发明的timed plannig来model. 您可以把这当做一个oral defense上的example. 估计大家很快就欢乐在这个例子里了.

浴室那个结尾直接打破了。你那个是死循环啊！是看了让我逻辑混乱的死循环啊！