How to deal with prop.4.10, that should be what I am thinking of for literally 1.5 hours, and got nothing now, I don't think anyone will notice this message but whoever saw this pls help. I just got no idea and how rule4.4 helps in proving. I couldn't imagine what I will face after that, levels using hundruds of commands meanwhile I'm still solving 30 lines simple puzzles....

The description says "Under the premise that x(1) is in {x(2),x(3)}, x(1) is in {x(3),x(4)} and x(2) is not in {x(4)}, prove that x(1) is in {3,4}." But the last part should actually say "prove that x(1) is in {x(3)}".

I just bought the full game and when I input rule2.1 into proposition 2.1, it creates the error: "No axiom or rule named rule2.1. Please check the spelling and the number of the axiom or rule." Rest of the game worked fine so I am quite confused, the game tells me that the format for rule 2.1 is "rule2.1(n,k,m,p,q,r) which I followed?...

rt，想挪动下非一次性钥匙，但是失败了，遂疑惑

如题