[Attempto] Should I expect RACE to figure this out?

[Theodore H. Smith]

Norbert wrote:

> Second, as Kaarel wrote the axiom "If a person is outside a room then the person is not inside a room." is sufficient. You need not write "if a person is outside the room then the person is not inside the room. if a person is inside the room then the person is not outside the room."

Yeah...

I actually wrote it the simple way the first time. But RACE did not reach the conclusion I expected, so I wrote it "both ways" just to be sure. But I'm glad to hear I don't need to write it "both ways".