在自然推理系统p中构造下面推理的证明：

在自然推理系统p中构造下面推理的证明：
1.只要A曾到过受害者房间并且11点前没离开,A就是谋杀犯.A曾到过受害者房间.如果A在11点以前离开,看门人会看见他.看门人么有看见他.所以,A是谋杀嫌犯.
2.如果今天是周六,我们就去颐和园或圆明园玩.如果颐和园游人太多,我们就不去颐和园玩.今天是周六.颐和园游人太多.所以,我们去圆明园玩.
3.如果小王是理科生,则它的数学成绩一定很好.如果小王不是文科生,他一定是理科生.小王的数学成绩不好.所以小王是文科生.
这是大二左右的题,
是 p：A曾到过受害者房间 q：11点前没离开